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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dcompile192 save_ifs="$IFS"; IFS=','
194 IFS="$save_ifs"
197 IFS="$save_ifs"
H A Dltmain.sh2586 save_ifs=$IFS; IFS='~'
2590 IFS=$save_ifs
2593 IFS=$save_ifs
3328 save_ifs=$IFS; IFS=,
3330 IFS=$save_ifs
3333 IFS=$save_ifs
7211 save_ifs=$IFS; IFS=,
7213 IFS=$save_ifs
7218 IFS=$save_ifs
7227 save_ifs
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dltmain.sh2586 save_ifs=$IFS; IFS='~'
2590 IFS=$save_ifs
2593 IFS=$save_ifs
3328 save_ifs=$IFS; IFS=,
3330 IFS=$save_ifs
3333 IFS=$save_ifs
7211 save_ifs=$IFS; IFS=,
7213 IFS=$save_ifs
7218 IFS=$save_ifs
7227 save_ifs
[all...]

Completed in 87 milliseconds