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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure2440 ac_configure_args0=
2456 1) as_fn_append ac_configure_args0 " '$ac_arg'" ;;
2467 case "$ac_configure_args0 " in
2479 { ac_configure_args0=; unset ac_configure_args0;}
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure2649 ac_configure_args0=
2665 1) as_fn_append ac_configure_args0 " '$ac_arg'" ;;
2676 case "$ac_configure_args0 " in
2688 { ac_configure_args0=; unset ac_configure_args0;}

Completed in 72 milliseconds