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

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure1667 test -z "$ac_c_werror_flag" ||
1705 test -z "$ac_c_werror_flag" ||
1781 test -z "$ac_c_preproc_warn_flag$ac_c_werror_flag" ||
4580 ac_save_c_werror_flag=$ac_c_werror_flag
4581 ac_c_werror_flag=yes
4613 ac_c_werror_flag=$ac_save_c_werror_flag
4634 ac_c_werror_flag=$ac_save_c_werror_flag
17272 ac_save_c_werror_flag=$ac_c_werror_flag
17273 ac_c_werror_flag=yes
17305 ac_c_werror_flag
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure1691 test -z "$ac_c_werror_flag" ||
1767 test -z "$ac_c_werror_flag" ||
1843 test -z "$ac_c_preproc_warn_flag$ac_c_werror_flag" ||
4192 ac_save_c_werror_flag=$ac_c_werror_flag
4193 ac_c_werror_flag=yes
4225 ac_c_werror_flag=$ac_save_c_werror_flag
4246 ac_c_werror_flag=$ac_save_c_werror_flag

Completed in 79 milliseconds