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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure2868 eval ac_new_val=\$ac_env_${ac_var}_value
2880 if test "x$ac_old_val" != "x$ac_new_val"; then
2883 ac_new_val_w=`echo x $ac_new_val`
2895 { $as_echo "$as_me:${as_lineno-$LINENO}: current value: \`$ac_new_val'" >&5
2896 $as_echo "$as_me: current value: \`$ac_new_val'" >&2;}
2901 case $ac_new_val in
2902 *\'*) ac_arg=$ac_var=`$as_echo "$ac_new_val" | sed "s/'/'\\\\\\\\''/g"` ;;
2903 *) ac_arg=$ac_var=$ac_new_val ;;

Completed in 58 milliseconds