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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure582 ac_clean_files=
2771 rm -f -r conftest* confdefs* conf$$* $ac_clean_files &&
4039 ac_clean_files_save=$ac_clean_files
4040 ac_clean_files="$ac_clean_files a.out a.out.dSYM a.exe b.out"
4128 ac_clean_files=$ac_clean_files_save
4181 ac_clean_files="$ac_clean_files conftest.out"
4226 ac_clean_files=$ac_clean_files_save
22632 ac_clean_files_save=$ac_clean_files
[all...]

Completed in 101 milliseconds