summaryrefslogtreecommitdiff
path: root/tools/trace/trace.py
diff options
context:
space:
mode:
Diffstat (limited to 'tools/trace/trace.py')
-rw-r--r--tools/trace/trace.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/trace/trace.py b/tools/trace/trace.py
index b4c095a5..b4010a25 100644
--- a/tools/trace/trace.py
+++ b/tools/trace/trace.py
@@ -34,7 +34,7 @@ elif options.type == "inter":
inter = TInter (options.infile, options.outfile, args[0])
if options.list_trace:
inter.available_traces ()
- elif options.trace:
+ elif options.trace != None:
inter.trace_print (options.trace)
else:
inter.trace_print()