# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1484503156 -3600
# Node ID dde129595d21816bcfb3b00a7f0d08e6e78ec527
# Parent  336f0d6d1496f416852e434e9130adcafd274860
Support the -tb option again.

diff -r 336f0d6d1496 -r dde129595d21 lplc
--- a/lplc	Sun Jan 15 18:44:06 2017 +0100
+++ b/lplc	Sun Jan 15 18:59:16 2017 +0100
@@ -56,6 +56,7 @@
     debug = False
     make = True
     make_verbose = True
+    traceback = False
 
     filenames = []
     outputs = []
@@ -70,6 +71,7 @@
         elif arg == "-g": debug = True
         elif arg == "-c": make = False
         elif arg == "-q": make_verbose = False
+        elif arg == "-tb": traceback = True
         elif arg == "-o": l = outputs
         else:
             l.append(arg)
@@ -160,13 +162,13 @@
 
     except error.SyntaxError, exc:
         show_syntax_error(exc)
-        if "-tb" in args:
+        if traceback:
             raise
         sys.exit(1)
 
     except ProcessingError, exc:
         print exc
-        if "-tb" in args:
+        if traceback:
             raise
         sys.exit(1)