diff Makefile.in @ 1842:052c5eedc9ea

Add MLTONARGS to xml/parse
author Jason Gross <jgross@mit.edu>
date Sat, 05 Jan 2013 18:19:20 -0500
parents 6ec243437d12
children 8958b580d026
line wrap: on
line diff
--- 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)