Lines Matching refs:make
651 # These are left unexpanded so users can "make install exec_prefix=/foo"
1127 # Omit some internal or obsolete options to make the list less imposing.
1156 By default, \`make install' will install all the files in
1584 { { echo "$as_me:$LINENO: error: run \`make distclean' and/or \`rm $cache_file' and start over" >&5
1585 echo "$as_me: error: run \`make distclean' and/or \`rm $cache_file' and start over" >&2;}
1614 { echo "$as_me:$LINENO: checking whether ${MAKE-make} sets \$(MAKE)" >&5
1615 echo $ECHO_N "checking whether ${MAKE-make} sets \$(MAKE)... $ECHO_C" >&6; }
1616 set x ${MAKE-make}; ac_make=`echo "$2" | sed 's/+/p/g; s/[^a-zA-Z0-9_]/_/g'`
1620 cat >conftest.make <<\_ACEOF
1625 # GNU make sometimes prints "make[1]: Entering...", which would confuse us.
1626 case `${MAKE-make} -f conftest.make 2>/dev/null` in
1632 rm -f conftest.make
1641 SET_MAKE="MAKE=${MAKE-make}"
1653 # ./install, which can be erroneously created by make from ./install.sh.
1785 # Let make expand exec_prefix.
2387 { { echo "$as_me:$LINENO: error: could not make $CONFIG_STATUS" >&5
2388 echo "$as_me: error: could not make $CONFIG_STATUS" >&2;}
2666 which seems to be undefined. Please make sure it is defined." >&5
2668 which seems to be undefined. Please make sure it is defined." >&2;}
2697 # need to make the FD available again.
2707 # would make configure fail if this is the last instruction.