diff Makefile.am @ 1842:052c5eedc9ea

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