# HG changeset patch
# User Jason Gross <jgross@mit.edu>
# Date 1357427960 18000
# Node ID 052c5eedc9ea36f41317855132812aedc0fbe088
# Parent  184d00f7be74d032cb669e41274f200f1783869b
Add MLTONARGS to xml/parse

diff -r 184d00f7be74 -r 052c5eedc9ea Makefile.am
--- a/Makefile.am	Mon Dec 31 09:04:35 2012 -0500
+++ b/Makefile.am	Sat Jan 05 18:19:20 2013 -0500
@@ -66,7 +66,7 @@
 	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 -r 184d00f7be74 -r 052c5eedc9ea Makefile.in
--- a/Makefile.in	Mon Dec 31 09:04:35 2012 -0500
+++ b/Makefile.in	Sat Jan 05 18:19:20 2013 -0500
@@ -792,7 +792,7 @@
 	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)