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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure859 ac_init_help=
1018 ac_init_help=long ;;
1020 ac_init_help=recursive ;;
1022 ac_init_help=short ;;
1402 if test "$ac_init_help" = "long"; then
1479 if test -n "$ac_init_help"; then
1480 case $ac_init_help in
1563 if test "$ac_init_help" = "recursive"; then
1618 test -n "$ac_init_help" && exit $ac_status

Completed in 94 milliseconds