Allow to pipe profile output directly to profileshader.py

[apitrace] / scripts / tracediff.py

diff --git a/scripts/tracediff.py b/scripts/tracediff.py
index b3933a9d59ee1b11a5e6b0b9b81327345d9aa4ca..86d1e0020f1e55a72c196b93c8ba9a20c727e7a9 100755 (executable)
--- a/scripts/tracediff.py
+++ b/scripts/tracediff.py
@@ -124,6 +124,7 @@ def diff(ref_trace, src_trace):
     diff.wait()
 
     if less is not None:
+        less.stdin.close()
         less.wait()
 
 
@@ -183,7 +184,7 @@ def main():
         help="calls to compare from source trace")
     optparser.add_option(
         '-w', '--width', metavar='NUM',
-        type="string", dest="width", default=default_width,
+        type="int", dest="width", default=default_width,
         help="columns [default: %default]")
 
     global options