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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure3131 am_aux_dir=`cd "$ac_aux_dir" && pwd`
3134 case $am_aux_dir in
3136 MISSING="\${SHELL} \"$am_aux_dir/missing\"" ;;
3138 MISSING="\${SHELL} $am_aux_dir/missing" ;;
3151 case $am_aux_dir in
3153 install_sh="\${SHELL} '$am_aux_dir/install-sh'" ;;
3155 install_sh="\${SHELL} $am_aux_dir/install-sh"
4539 CC="$am_aux_dir/compile $CC"
17357 CC="$am_aux_dir/compile $CC"

Completed in 58 milliseconds