>>>>> "EW" == Edward Welbourne <[email protected]> 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 [email protected] https://lists.gnu.org/mailman/listinfo/bug-make
