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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure2645 for ac_arg
2647 case $ac_arg in
2653 ac_arg=`$as_echo "$ac_arg" | sed "s/'/'\\\\\\\\''/g"` ;;
2656 1) as_fn_append ac_configure_args0 " '$ac_arg'" ;;
2658 as_fn_append ac_configure_args1 " '$ac_arg'"
2662 case $ac_arg in
2668 "$ac_configure_args1"*" '$ac_arg' "* ) continue ;;
2674 as_fn_append ac_configure_args " '$ac_arg'"
2902 *\'*) ac_arg
[all...]

Completed in 45 milliseconds