diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-12-05 12:04:06 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-12-05 12:04:06 -0500 |
| commit | bad7adde120773d46af83ab972967f26823e37b4 (patch) | |
| tree | a1e8aac4d22273e103ddf675ee88f19b3fee2e0a /src/jscomp.sml | |
| parent | 4635acd2d4e4404b2b1a89909cd765ac310d62c5 (diff) | |
New .urp directive: jsFile
Diffstat (limited to 'src/jscomp.sml')
| -rw-r--r-- | src/jscomp.sml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/jscomp.sml b/src/jscomp.sml index 3709bcd3..9c8effd7 100644 --- a/src/jscomp.sml +++ b/src/jscomp.sml @@ -1358,8 +1358,9 @@ fun process (file : file) = val script = if !foundJavaScript then - lines ^ urlRules ^ String.concat (rev (#script st)) - ^ "\ntime_format = \"" ^ Prim.toCString (Settings.getTimeFormat ()) ^ "\";\n" + String.concatWith "" ((lines ^ urlRules ^ String.concat (rev (#script st)) + ^ "\ntime_format = \"" ^ Prim.toCString (Settings.getTimeFormat ()) ^ "\";\n") + :: map (fn r => "\n// " ^ #Filename r ^ "\n\n" ^ #Content r ^ "\n") (Settings.listJsFiles ())) else "" in |