diff options
Diffstat (limited to 'util/tracediff')
| -rwxr-xr-x | util/tracediff | 4 |
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. |