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

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure473 as_cr_alnum=$as_cr_Letters$as_cr_digits
492 s/[$]LINENO\([^'$as_cr_alnum'_].*\n\)\(.*\)/\2\1\2/
562 as_tr_cpp="eval sed 'y%*$as_cr_letters%P$as_cr_LETTERS%;s%[^_$as_cr_alnum]%_%g'"
565 as_tr_sh="eval sed 'y%*+%pp%;s%[^_$as_cr_alnum]%_%g'"
971 expr "x$ac_useropt" : ".*[^-+._$as_cr_alnum]" >/dev/null &&
997 expr "x$ac_useropt" : ".*[^-+._$as_cr_alnum]" >/dev/null &&
1210 expr "x$ac_useropt" : ".*[^-+._$as_cr_alnum]" >/dev/null &&
1226 expr "x$ac_useropt" : ".*[^-+._$as_cr_alnum]" >/dev/null &&
1265 '' | [0-9]* | *[!_$as_cr_alnum]* )
1274 expr "x$ac_option" : ".*[^-._$as_cr_alnum]" >/de
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure473 as_cr_alnum=$as_cr_Letters$as_cr_digits
492 s/[$]LINENO\([^'$as_cr_alnum'_].*\n\)\(.*\)/\2\1\2/
562 as_tr_cpp="eval sed 'y%*$as_cr_letters%P$as_cr_LETTERS%;s%[^_$as_cr_alnum]%_%g'"
565 as_tr_sh="eval sed 'y%*+%pp%;s%[^_$as_cr_alnum]%_%g'"
1011 expr "x$ac_useropt" : ".*[^-+._$as_cr_alnum]" >/dev/null &&
1037 expr "x$ac_useropt" : ".*[^-+._$as_cr_alnum]" >/dev/null &&
1250 expr "x$ac_useropt" : ".*[^-+._$as_cr_alnum]" >/dev/null &&
1266 expr "x$ac_useropt" : ".*[^-+._$as_cr_alnum]" >/dev/null &&
1305 '' | [0-9]* | *[!_$as_cr_alnum]* )
1314 expr "x$ac_option" : ".*[^-._$as_cr_alnum]" >/de
[all...]

Completed in 31 milliseconds