Have tracediff print warning if no traceflags are set.
Elaborate on description a bit. --HG-- extra : convert_revision : 2649961b53d6fb2774ddfb60219415ae4251db2d
This commit is contained in:
parent
5e2263fc52
commit
810dee6e98
1 changed files with 12 additions and 0 deletions
|
@ -41,6 +41,10 @@
|
||||||
# you'll have to quote the arg or escape the '|' with a backslash
|
# you'll have to quote the arg or escape the '|' with a backslash
|
||||||
# so that the shell doesn't think you're doing a pipe.
|
# so that the shell doesn't think you're doing a pipe.
|
||||||
#
|
#
|
||||||
|
# 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.
|
||||||
|
#
|
||||||
# For example:
|
# For example:
|
||||||
#
|
#
|
||||||
# % tracediff m5.opt --opt1 "--opt2|--opt3" --opt4
|
# % tracediff m5.opt --opt1 "--opt2|--opt3" --opt4
|
||||||
|
@ -79,6 +83,14 @@ $sim2 = shift @cmd2;
|
||||||
$args1 = join(' ', @cmd1);
|
$args1 = join(' ', @cmd1);
|
||||||
$args2 = join(' ', @cmd2);
|
$args2 = join(' ', @cmd2);
|
||||||
|
|
||||||
|
# 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";
|
||||||
|
}
|
||||||
|
|
||||||
# Run individual invocations in separate dirs so output and intermediate
|
# Run individual invocations in separate dirs so output and intermediate
|
||||||
# files (particularly config.py and config.ini) don't conflict.
|
# files (particularly config.py and config.ini) don't conflict.
|
||||||
$dir1 = "tracediff-$$-1";
|
$dir1 = "tracediff-$$-1";
|
||||||
|
|
Loading…
Reference in a new issue