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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure2441 ac_configure_args1=
2458 as_fn_append ac_configure_args1 " '$ac_arg'"
2468 "$ac_configure_args1"*" '$ac_arg' "* ) continue ;;
2480 { ac_configure_args1=; unset ac_configure_args1;}
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure2650 ac_configure_args1=
2667 as_fn_append ac_configure_args1 " '$ac_arg'"
2677 "$ac_configure_args1"*" '$ac_arg' "* ) continue ;;
2689 { ac_configure_args1=; unset ac_configure_args1;}

Completed in 85 milliseconds