Mark Galeck wrote: > --- On Thu, 2/7/13, Michael Stahl <[email protected]> wrote: > >> if the build system has generated a file, then it should be able to >> re-generate it if needed; that's its job. > > Well, let's agree to disagree here, then. If you delete a crucial > intermediate file without knowing what you are doing, then in my > opinion it's not the build system's job to do anything other than say > "it's your fault, now you have to do a complete clean". Only > touching sources is supported, not touching intermediate files. > That's my firm belief, so let's disagree.
FWIW, I also write my build systems so that they build correctly no matter whether or which intermediate files are missing. IMO that's the underlying philosophy of make. Having to rely on "clean" builds when incremental builds could do the job just fine is IMO either an artifact of an insufficient build system or a result of a bug (or missing feature) in make. Gerhard _______________________________________________ Help-make mailing list [email protected] https://lists.gnu.org/mailman/listinfo/help-make
