From d66ae60f6b32b05af4c8f1e3f73360478fe9663d Mon Sep 17 00:00:00 2001
From: Steve Reinhardt <stever@eecs.umich.edu>
Date: Sat, 8 May 2004 23:32:30 -0700
Subject: Very minor fixes.

util/tracediff:
    stats:file option is now stats:text_file

--HG--
extra : convert_revision : 74b6294da0003345e84bc1533d536dab271b6033
---
 util/tracediff | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'util/tracediff')

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.
-- 
cgit v1.2.3