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 = [],