Lines Matching refs:make
648 # These are left unexpanded so users can "make install exec_prefix=/foo"
1124 # Omit some internal or obsolete options to make the list less imposing.
1153 By default, \`make install' will install all the files in
1581 { { echo "$as_me:$LINENO: error: run \`make distclean' and/or \`rm $cache_file' and start over" >&5
1582 echo "$as_me: error: run \`make distclean' and/or \`rm $cache_file' and start over" >&2;}
1609 { echo "$as_me:$LINENO: checking whether ${MAKE-make} sets \$(MAKE)" >&5
1610 echo $ECHO_N "checking whether ${MAKE-make} sets \$(MAKE)... $ECHO_C" >&6; }
1611 set x ${MAKE-make}; ac_make=`echo "$2" | sed 's/+/p/g; s/[^a-zA-Z0-9_]/_/g'`
1615 cat >conftest.make <<\_ACEOF
1620 # GNU make sometimes prints "make[1]: Entering...", which would confuse us.
1621 case `${MAKE-make} -f conftest.make 2>/dev/null` in
1627 rm -f conftest.make
1636 SET_MAKE="MAKE=${MAKE-make}"
1742 # Let make expand exec_prefix.
2341 { { echo "$as_me:$LINENO: error: could not make $CONFIG_STATUS" >&5
2342 echo "$as_me: error: could not make $CONFIG_STATUS" >&2;}
2620 which seems to be undefined. Please make sure it is defined." >&5
2622 which seems to be undefined. Please make sure it is defined." >&2;}
2651 # need to make the FD available again.
2661 # would make configure fail if this is the last instruction.