Mercurial > urweb
comparison src/compiler.sml @ 1396:115d217bbfbc
Use -debug flag properly when compiling in single-source mode
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 15 Jan 2011 20:06:00 -0500 |
parents | d328983dc5a6 |
children | a5bfed32d4f7 |
comparison
equal
deleted
inserted
replaced
1395:f53ec50097a5 | 1396:115d217bbfbc |
---|---|
358 val job = {prefix = "/", | 358 val job = {prefix = "/", |
359 database = NONE, | 359 database = NONE, |
360 sources = [fname], | 360 sources = [fname], |
361 exe = fname ^ ".exe", | 361 exe = fname ^ ".exe", |
362 sql = NONE, | 362 sql = NONE, |
363 debug = false, | 363 debug = Settings.getDebug (), |
364 profile = false, | 364 profile = false, |
365 timeout = 60, | 365 timeout = 60, |
366 ffi = [], | 366 ffi = [], |
367 link = [], | 367 link = [], |
368 headers = [], | 368 headers = [], |