I request that timestamps be added to the output when using `--trace` option.
There is a hack to added timestamps to every STDOUT of make http://stackoverflow.com/questions/37623123/windows-batch-how-to-add-timestamp-while-redirecting-stdout-to-file but that introduces overhead. I think it would make sense to add this option to `--trace`. _______________________________________________ Help-make mailing list Help-make@gnu.org https://lists.gnu.org/mailman/listinfo/help-make
