From ec89fffb07318e50e90257ebeb17535bf6787952 Mon Sep 17 00:00:00 2001 From: Gabe Black Date: Sat, 2 Jul 2011 22:52:26 -0700 Subject: [PATCH] tracediff: Check for --debug-flags now instead of --trace-flags. --- util/tracediff | 6 +++--- 1 file 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"; }