summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGabe Black <gblack@eecs.umich.edu>2011-07-02 22:52:26 -0700
committerGabe Black <gblack@eecs.umich.edu>2011-07-02 22:52:26 -0700
commitec89fffb07318e50e90257ebeb17535bf6787952 (patch)
tree1c0f3fd10d8bc27d4d6c63fb88830e20272b7d39
parent3a1428365a479db70d893e62e37c1dd302067d4a (diff)
downloadgem5-ec89fffb07318e50e90257ebeb17535bf6787952.tar.xz
tracediff: Check for --debug-flags now instead of --trace-flags.
-rwxr-xr-xutil/tracediff6
1 files changed, 3 insertions, 3 deletions
diff --git a/util/tracediff b/util/tracediff
index 5349c303d..5c77d9caf 100755
--- a/util/tracediff
+++ b/util/tracediff
@@ -124,11 +124,11 @@ $sim2 = shift @cmd2;
$args1 = join(' ', @cmd1);
$args2 = join(' ', @cmd2);
-# Common mistake: if you don't set any traceflags this often isn't
+# Common mistake: if you don't set any debugflags this often isn't
# doing what you want.
-if ($args1 !~ /--trace-flags/) {
+if ($args1 !~ /--debug-flags/) {
print "****\n";
- print "**** WARNING: no trace flags set... you may not be diffing much!\n";
+ print "**** WARNING: no debug flags set... you may not be diffing much!\n";
print "****\n";
}