43a44,47
> # In other words, the arguments should look like the command line you
> # want to run, with "|" used to list the alternatives for the parts
> # that you want to differ between the two runs.
> #
81a86,93
> # Common mistake: if you don't set any traceflags this often isn't
> # doing what you want.
> if ($args1 !~ /--trace-flags/) {
> print "****\n";
> print "**** WARNING: no trace flags set... you may not be diffing much!\n";
> print "****\n";
> }
>