retracediff: Only diff state if specified by command line option.

As it can be very slow.

diff --git a/scripts/retracediff.py b/scripts/retracediff.py
index e59d00a5b65fa74af41d25dcdf4bf0c025e05136..4ed58373f2dab00f919843eca78ccf69b2a0f466 100755 (executable)
--- a/scripts/retracediff.py
+++ b/scripts/retracediff.py
@@ -219,6 +219,10 @@ def main():
         '-S', '--snapshot-frequency', metavar='CALLSET',
         type="string", dest="snapshot_frequency", default='draw',
         help="calls to compare [default: %default]")
+    optparser.add_option(
+        '--diff-state',
+        action='store_true', dest='diff_state', default=False,
+        help='diff state between failing calls')
     optparser.add_option(
         '-o', '--output', metavar='FILE',
         type="string", dest="output",
@@ -289,7 +293,7 @@ def main():
                         refImage.save(prefix + '.ref.png')
                         srcImage.save(prefix + '.src.png')
                         comparer.write_diff(prefix + '.diff.png')
-                    if last_bad < last_good:
+                    if last_bad < last_good and options.diff_state:
                         srcRetracer.diff_state(last_good, callNo, output)
                     last_bad = callNo
                 else: