Index: compile |
diff --git a/compile b/compile |
index 0a077ea6d05c9c153c418055767299e12cd2d454..1ee58589f8f91034e0a80ad8c436e865b9d1a0b6 100755 |
--- a/compile |
+++ b/compile |
@@ -98,6 +98,7 @@ def run_compiler(env, debug=False, tracing=False): |
for key, value in GENERATION_PARAMS.iteritems(): |
params.extend(['-s', '{}={}'.format(key, str(value))]) |
if debug: |
+ params.append('-DDEBUG') |
params.append('-g3') |
if tracing: |
params.append('--tracing') |