Searched refs:am_make (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure3393 am_make=${MAKE-make}
3394 { $as_echo "$as_me:${as_lineno-$LINENO}: checking whether $am_make supports nested variables" >&5
3395 $as_echo_n "checking whether $am_make supports nested variables... " >&6; }
3405 .PHONY: am__doit' | $am_make -f - >/dev/null 2>&1; then

Completed in 65 milliseconds