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

/seL4-l4v-master/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'"
965 expr "x$ac_useropt" : ".*[^-+._$as_cr_alnum]" >/dev/null &&
991 expr "x$ac_useropt" : ".*[^-+._$as_cr_alnum]" >/dev/null &&
1204 expr "x$ac_useropt" : ".*[^-+._$as_cr_alnum]" >/dev/null &&
1220 expr "x$ac_useropt" : ".*[^-+._$as_cr_alnum]" >/dev/null &&
1259 '' | [0-9]* | *[!_$as_cr_alnum]* )
1268 expr "x$ac_option" : ".*[^-._$as_cr_alnum]" >/de
[all...]

Completed in 90 milliseconds