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 | 3af8bcda28c4c831cf420ebba926dd9ac1f44d71 (patch) | |
tree | 8b4d4ac8798b24270d3e4f3af6a93592659bb7e6 /src/compiler.sml | |
parent | fc2329192b052f4fd7716106baa443f5b4d53fa8 (diff) |
Use -debug flag properly when compiling in single-source mode
Diffstat (limited to 'src/compiler.sml')
-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 = [], |