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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure2439 ac_configure_args=
2474 as_fn_append ac_configure_args " '$ac_arg'"
2705 case " $ac_configure_args " in
2707 *) as_fn_append ac_configure_args " '$ac_arg'" ;;
2881 # [$]@ is unsable in 2.60+ but earlier autoconf had no ac_configure_args
2882 if test "${ac_configure_args+set}" != "set" ; then
2883 ac_configure_args=
2885 ac_configure_args="$ac_configure_args '$ac_arg'"
2933 eval $SHELL "'$0'" "'--srcdir=$srcdir'" "'--enable-builddir=$ax_enable_builddir'" $ac_configure_args ;;
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure2648 ac_configure_args=
2683 as_fn_append ac_configure_args " '$ac_arg'"
2914 case " $ac_configure_args " in
2916 *) as_fn_append ac_configure_args " '$ac_arg'" ;;
23172 ac_cs_config="`$as_echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`"
23269 set X $SHELL '$0' $ac_configure_args \$ac_configure_extra_args --no-create --no-recursion
25144 eval "set x $ac_configure_args"

Completed in 53 milliseconds