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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure2445 for ac_arg
2447 case $ac_arg in
2453 ac_arg=`$as_echo "$ac_arg" | sed "s/'/'\\\\\\\\''/g"` ;;
2456 1) as_fn_append ac_configure_args0 " '$ac_arg'" ;;
2458 as_fn_append ac_configure_args1 " '$ac_arg'"
2462 case $ac_arg in
2468 "$ac_configure_args1"*" '$ac_arg' "* ) continue ;;
2474 as_fn_append ac_configure_args " '$ac_arg'"
2702 *\'*) ac_arg
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure2654 for ac_arg
2656 case $ac_arg in
2662 ac_arg=`$as_echo "$ac_arg" | sed "s/'/'\\\\\\\\''/g"` ;;
2665 1) as_fn_append ac_configure_args0 " '$ac_arg'" ;;
2667 as_fn_append ac_configure_args1 " '$ac_arg'"
2671 case $ac_arg in
2677 "$ac_configure_args1"*" '$ac_arg' "* ) continue ;;
2683 as_fn_append ac_configure_args " '$ac_arg'"
2911 *\'*) ac_arg
[all...]

Completed in 61 milliseconds