changeset 1842:052c5eedc9ea

Add MLTONARGS to xml/parse
author Jason Gross <jgross@mit.edu>
date Sat, 05 Jan 2013 18:19:20 -0500
parents 184d00f7be74
children 0da75c01a993
files Makefile.am Makefile.in
diffstat 2 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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
--- 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)