summaryrefslogtreecommitdiff
path: root/src/cjr_print.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-05-02 12:10:43 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-05-02 12:10:43 -0400
commitf996ddede8ad8df6a6b475185b5384366f0dd6c9 (patch)
treeb2b7e5a618878c8ac7026aa98312d6f9697bc9f6 /src/cjr_print.sml
parent4b3399b59d17ed32c8c2800267b8c59fd0378f21 (diff)
More FFI compiler options
Diffstat (limited to 'src/cjr_print.sml')
-rw-r--r--src/cjr_print.sml2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml
index b40d4248..3a124ff4 100644
--- a/src/cjr_print.sml
+++ b/src/cjr_print.sml
@@ -2839,6 +2839,8 @@ fun p_file env (ds, ps) =
^ OS.Path.joinDirFile {dir = Settings.getUrlPrefix (),
file = "app.js"}
^ "\\\"></script>\\n"),
+ p_list (fn x => string ("<script src=\\\"" ^ x ^ "\\\"></script>"))
+ (Settings.getScripts ()),
string "\");",
newline,
string "uw_set_needs_push(ctx, ",