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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
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'"
17219 cputype=`echo "$cputype" | tr -d ' -' | sed 's/SPARCIIi/SPARCII/' | tr $as_cr_LETTERS $as_cr_letters`
19960 as_cr_letters='abcdefghijklmnopqrstuvwxyz'
19962 as_cr_Letters=$as_cr_letters$as_cr_LETTERS
20073 as_tr_cpp="eval sed 'y%*$as_cr_letters%P$as_cr_LETTERS%;s%[^_$as_cr_alnum]%_%g'"
/seL4-l4v-10.1.1/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'"
22977 as_cr_letters='abcdefghijklmnopqrstuvwxyz'
22979 as_cr_Letters=$as_cr_letters$as_cr_LETTERS
23090 as_tr_cpp="eval sed 'y%*$as_cr_letters%P$as_cr_LETTERS%;s%[^_$as_cr_alnum]%_%g'"

Completed in 72 milliseconds