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

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure1928 test -z "$ac_cxx_werror_flag" ||
1965 test -z "$ac_cxx_preproc_warn_flag$ac_cxx_werror_flag" ||
2003 test -z "$ac_cxx_werror_flag" ||
13358 ac_save_cxx_werror_flag=$ac_cxx_werror_flag
13359 ac_cxx_werror_flag=yes
13391 ac_cxx_werror_flag=$ac_save_cxx_werror_flag
13412 ac_cxx_werror_flag=$ac_save_cxx_werror_flag
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure1729 test -z "$ac_cxx_werror_flag" ||
1989 test -z "$ac_cxx_preproc_warn_flag$ac_cxx_werror_flag" ||
2027 test -z "$ac_cxx_werror_flag" ||
4789 ac_save_cxx_werror_flag=$ac_cxx_werror_flag
4790 ac_cxx_werror_flag=yes
4822 ac_cxx_werror_flag=$ac_save_cxx_werror_flag
4843 ac_cxx_werror_flag=$ac_save_cxx_werror_flag

Completed in 73 milliseconds