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

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure95 *) as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
98 IFS=$as_save_IFS
102 IFS=$as_save_IFS
218 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
222 IFS=$as_save_IFS
245 IFS=$as_save_IFS
2622 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
2625 IFS=$as_save_IFS
2629 IFS=$as_save_IFS
2989 as_save_IFS
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure95 *) as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
98 IFS=$as_save_IFS
102 IFS=$as_save_IFS
218 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
222 IFS=$as_save_IFS
245 IFS=$as_save_IFS
2413 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
2416 IFS=$as_save_IFS
2420 IFS=$as_save_IFS
2952 as_save_IFS
[all...]

Completed in 34 milliseconds