Scott Kostyshak wrote: > If not, it seems we can just have a fresh start when compiling again > after an error. That is, instead of using the hard-coded list, we just > remove all temporary files.
+1 The temporary files can be useful for error analysis, so they should not be deleted right after compilation, but deleting them just before a new compilation after an errornous one starts can only improve things IMHO. Georg