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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure2640 ac_configure_args0=
2656 1) as_fn_append ac_configure_args0 " '$ac_arg'" ;;
2667 case "$ac_configure_args0 " in
2679 { ac_configure_args0=; unset ac_configure_args0;}

Completed in 152 milliseconds