summaryrefslogtreecommitdiff
path: root/util
diff options
context:
space:
mode:
Diffstat (limited to 'util')
-rwxr-xr-xutil/tracediff4
1 files changed, 2 insertions, 2 deletions
diff --git a/util/tracediff b/util/tracediff
index 0aa579a7d..ed35d5dd7 100755
--- a/util/tracediff
+++ b/util/tracediff
@@ -41,8 +41,8 @@ $sim2 = shift;
# be given to both invocations
$simargs = '"' . join('" "', @ARGV) . '"';
-$cmd1 = "$sim1 $simargs --stats:file=tracediff-$$-1.stats 2>&1 |";
-$cmd2 = "$sim2 $simargs --stats:file=tracediff-$$-2.stats 2>&1 |";
+$cmd1 = "$sim1 $simargs --stats:text_file=tracediff-$$-1.stats 2>&1 |";
+$cmd2 = "$sim2 $simargs --stats:text_file=tracediff-$$-2.stats 2>&1 |";
# This only works if you have rundiff in your path. I just edit it
# with an explicit path if necessary.