Fix tracediff.py's --width argument conversion (issue #77).

Thanks for wrabbit-revisited spotting problem and proposing fix.

diff --git a/scripts/tracediff.py b/scripts/tracediff.py
index f86fc391b0dd6d2eb3265120289db8e8b5c1aa8b..86d1e0020f1e55a72c196b93c8ba9a20c727e7a9 100755 (executable)
--- a/scripts/tracediff.py
+++ b/scripts/tracediff.py
@@ -184,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