diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-01-15 20:06:00 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-01-15 20:06:00 -0500 |
| commit | 24796b700bb497897bdcd2671c1083f0c462906a (patch) | |
| tree | 8b4d4ac8798b24270d3e4f3af6a93592659bb7e6 /src | |
| parent | 379843b4a2e92fed85903a77131d5eeeb717d85b (diff) | |
Use -debug flag properly when compiling in single-source mode
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler.sml b/src/compiler.sml index 61fa23b1..db500b6b 100644 --- a/src/compiler.sml +++ b/src/compiler.sml @@ -360,7 +360,7 @@ fun parseUrp' accLibs fname = sources = [fname], exe = fname ^ ".exe", sql = NONE, - debug = false, + debug = Settings.getDebug (), profile = false, timeout = 60, ffi = [], |