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

/seL4-l4v-master/HOL4/developers/
H A Drecord-script.sh14 while IFS= read -r line
/seL4-l4v-master/l4v/tools/c-parser/standalone-parser/
H A Dtokenizer10 IFS=$'\n\t'
H A Dc-parser10 IFS=$'\n\t'
/seL4-l4v-master/HOL4/polyml/
H A Dinstall-sh47 IFS=" $tab$nl"
385 oIFS=$IFS
386 IFS=/
391 IFS=$oIFS
H A Dconfigure84 # IFS
87 # (If _AS_PATH_WALK were called with IFS unset, it would disable word
88 # splitting by setting IFS to empty value.)
89 IFS=" "" $as_nl"
95 *) as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
98 IFS=$as_save_IFS
102 IFS=$as_save_IFS
218 as_save_IFS=$IFS; IFS
[all...]
H A Dltmain.sh146 # Make sure IFS has a sensible default
150 IFS="$sp $nl"
195 _G_save_IFS=$IFS; IFS=${PATH_SEPARATOR-:}
197 IFS=$_G_save_IFS
213 IFS=$_G_save_IFS
422 _G_IFS=$IFS
423 IFS=${PATH_SEPARATOR-:}
425 IFS=$_G_IFS
428 IFS
[all...]
H A Ddepcomp584 IFS=" "
690 IFS=" "
732 IFS=" "
/seL4-l4v-master/HOL4/examples/acl2/tests/round-trip/gold/
H A Daxioms.sml[all...]
/seL4-l4v-master/HOL4/examples/acl2/examples/M1/
H A Daxioms.ml[all...]

Completed in 241 milliseconds