Karl Berry wrote: > A wild thought: what if gnulib-tool saved its output during a run, and > then presented a *diff* of the new output and the old output? I at > least would find that considerably more readable. > > (Along with a mention of the file where the full output can be found, of > course.)
I'd love to have the same feature for "configure" and "make" runs. It could be a general-purpose utility, taking a command line as argument, like 'time' and 'nice' are. Bruno
