summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xunit-trace2
1 files changed, 1 insertions, 1 deletions
diff --git a/unit-trace b/unit-trace
index 15ba636..a1bc8ca 100755
--- a/unit-trace
+++ b/unit-trace
@@ -27,7 +27,7 @@ parser.add_option("-o", "--stdout", action="store_true", dest="stdout",
27 default=False, help="Use stdout_printer") 27 default=False, help="Use stdout_printer")
28parser.add_option("-v", "--visual", action="store_true", dest="visualize", 28parser.add_option("-v", "--visual", action="store_true", dest="visualize",
29 default=False, help="Use visualizer") 29 default=False, help="Use visualizer")
30parser.add_option("-t", "--time-per-maj", default=10000000.0, type=float, 30parser.add_option("-u", "--time-per-maj", default=5000000.0, type=float,
31 dest="time_per_maj", help="Time interval between major ticks, in the visualizer") 31 dest="time_per_maj", help="Time interval between major ticks, in the visualizer")
32parser.add_option("-c", "--clean", action="store_true", dest="clean", 32parser.add_option("-c", "--clean", action="store_true", dest="clean",
33 default=False, help="Use sanitizer to clean garbage records") 33 default=False, help="Use sanitizer to clean garbage records")