diff options
| author |  Jason Gross <jgross@mit.edu> | 2013-01-05 18:19:20 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2013-01-05 18:19:20 -0500 |
| commit | 6f2f8ec0725741301d9e1b498c488fa1c2aaddf5 (patch) | |
| tree | f67612c12f36c8042d2a5a3cfb6eb2afd384a000 | |
| parent | 69a06c39e1156fc1f252af61b05af210a4475872 (diff) | |
Add MLTONARGS to xml/parse
| -rw-r--r-- | Makefile.am | 2 | ||||
| -rw-r--r-- | Makefile.in | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.am b/Makefile.am index 24b1eca3..fd30e4fa 100644 --- a/Makefile.am +++ b/Makefile.am @@ -66,7 +66,7 @@ xml/entities.sml: xml/parse xml/xhtml-lat1.ent xml/xhtml-special.ent xml/xhtml-s xml/parse >xml/entities.sml xml/parse: xml/parse.sml - $(MLTON) xml/parse.sml + $(MLTON) $(MLTONARGS) xml/parse.sml install-exec-emacs: if USE_EMACS diff --git a/Makefile.in b/Makefile.in index 0514f3c8..a4959d3a 100644 --- a/Makefile.in +++ b/Makefile.in @@ -792,7 +792,7 @@ xml/entities.sml: xml/parse xml/xhtml-lat1.ent xml/xhtml-special.ent xml/xhtml-s xml/parse >xml/entities.sml xml/parse: xml/parse.sml - $(MLTON) xml/parse.sml + $(MLTON) $(MLTONARGS) xml/parse.sml install-exec-emacs: @USE_EMACS_TRUE@ mkdir -p $(DESTDIR)$(SITELISP) |