summaryrefslogtreecommitdiff
path: root/util/tracediff
diff options
context:
space:
mode:
authorSteve Reinhardt <stever@eecs.umich.edu>2006-10-22 12:51:00 -0400
committerSteve Reinhardt <stever@eecs.umich.edu>2006-10-22 12:51:00 -0400
commit810dee6e981ee0a7e1425bfc092128d7640dd4ff (patch)
tree58be228c5e350eaa4cf9c6b0fa63cc837dab3a67 /util/tracediff
parent5e2263fc523633af81a81ed7cea2cf72bd57efbb (diff)
downloadgem5-810dee6e981ee0a7e1425bfc092128d7640dd4ff.tar.xz
Have tracediff print warning if no traceflags are set.
Elaborate on description a bit. --HG-- extra : convert_revision : 2649961b53d6fb2774ddfb60219415ae4251db2d
Diffstat (limited to 'util/tracediff')
-rwxr-xr-xutil/tracediff12
1 files changed, 12 insertions, 0 deletions
diff --git a/util/tracediff b/util/tracediff
index ee28d660d..b25efe9b2 100755
--- a/util/tracediff
+++ b/util/tracediff
@@ -41,6 +41,10 @@
# 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.
#
+# 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:
#
# % tracediff m5.opt --opt1 "--opt2|--opt3" --opt4
@@ -79,6 +83,14 @@ $sim2 = shift @cmd2;
$args1 = join(' ', @cmd1);
$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
# files (particularly config.py and config.ini) don't conflict.
$dir1 = "tracediff-$$-1";