Adjust default precision threshold.

diff --git a/scripts/tracecheck.py b/scripts/tracecheck.py
index b5d6b7658c76b68f4253616e731da8e224f036d5..d204fa63dbfcbc7a7a6672b888cfea3caac35078 100755 (executable)
--- a/scripts/tracecheck.py
+++ b/scripts/tracecheck.py
@@ -116,7 +116,7 @@ def main():
         help='snapshot comparison prefix')
     optparser.add_option(
         '--precision-threshold', metavar='BITS',
-        type='float', dest='precision_threshold', default='12',
+        type='float', dest='precision_threshold', default=8.0,
         help='precision threshold in bits [default: %default]')
     optparser.add_option(
         '--gl-renderer', metavar='REGEXP',