summaryrefslogtreecommitdiff
path: root/src/demo.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-04-22 10:57:22 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-04-22 10:57:22 -0400
commit9d0b581e661854c7320a94dd991f8baddc42e1d8 (patch)
treed2811c413a099e4745427c4390ee2c1002a12b3c /src/demo.sml
parentb523ce2af72efd86ad976ea518ab18818bef4541 (diff)
'linker' .urp directive
Diffstat (limited to 'src/demo.sml')
-rw-r--r--src/demo.sml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/demo.sml b/src/demo.sml
index 729dd218..35332637 100644
--- a/src/demo.sml
+++ b/src/demo.sml
@@ -103,6 +103,7 @@ fun make' {prefix, dirname, guided} =
profile = false,
ffi = [],
link = [],
+ linker = NONE,
headers = [],
scripts = [],
clientToServer = [],