| 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') |