>>>>> "EW" == Edward Welbourne <edward.welbou...@qt.io> writes:
EW> The command-line option would save the need to edit the make-file to be EW> ready to be used this way, which would be welcome when the make-files EW> aren't familiar (especially if they're auto-generated and numerous). Or part of a giant read-only tree, or when one must, after editing it, fix its timestamp back so the makefile doesn't get remade itself, etc. _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make
