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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure469 as_cr_letters='abcdefghijklmnopqrstuvwxyz'
471 as_cr_Letters=$as_cr_letters$as_cr_LETTERS
562 as_tr_cpp="eval sed 'y%*$as_cr_letters%P$as_cr_LETTERS%;s%[^_$as_cr_alnum]%_%g'"
22895 as_cr_letters='abcdefghijklmnopqrstuvwxyz'
22897 as_cr_Letters=$as_cr_letters$as_cr_LETTERS
23008 as_tr_cpp="eval sed 'y%*$as_cr_letters%P$as_cr_LETTERS%;s%[^_$as_cr_alnum]%_%g'"

Completed in 66 milliseconds