Mercurial > urweb

diff src/compiler.sml @ 2197:6eae499c56cb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New .urp directive: jsFile
author Adam Chlipala <adam@chlipala.net>
date Sat, 05 Dec 2015 12:04:06 -0500
parents fb113569519e
children 6fb9232ade99
line wrap: on
line diff
--- a/src/compiler.sml	Fri Nov 27 15:28:12 2015 -0500
+++ b/src/compiler.sml	Sat Dec 05 12:04:06 2015 -0500
@@ -875,6 +875,10 @@
                                                            url := {action = Settings.Allow, kind = Settings.Exact, pattern = uri} :: !url)
                                         | _ => ErrorMsg.error "Bad 'file' arguments")
 
+                                   | "jsFile" =>
+                                     (Settings.setFilePath thisPath;
+                                      Settings.addJsFile arg)
+                                     
                                    | _ => ErrorMsg.error ("Unrecognized command '" ^ cmd ^ "'");
                                  read ()
                              end