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

/seL4-l4v-master/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
2613 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
2616 IFS=$as_save_IFS
2620 IFS=$as_save_IFS
2980 as_save_IFS
[all...]

Completed in 75 milliseconds