[MLton-commit] r6765

[Matthew Fluet]

Use $(FLAGS) in def-use target.
----------------------------------------------------------------------

U   mlton/trunk/mlton/Makefile

----------------------------------------------------------------------

Modified: mlton/trunk/mlton/Makefile
===================================================================
--- mlton/trunk/mlton/Makefile	2008-08-19 22:16:03 UTC (rev 6764)
+++ mlton/trunk/mlton/Makefile	2008-08-19 22:16:10 UTC (rev 6765)
@@ -1,4 +1,4 @@
-## Copyright (C) 1999-2007 Henry Cejtin, Matthew Fluet, Suresh
+## Copyright (C) 1999-2008 Henry Cejtin, Matthew Fluet, Suresh
  #    Jagannathan, and Stephen Weeks.
  # Copyright (C) 1997-2000 NEC Research Institute.
  #
@@ -94,7 +94,7 @@
 
 .PHONY: def-use
 def-use:
-	mlton -stop tc -prefer-abs-paths true -show-def-use mlton.def-use $(FILE)
+	mlton $(FLAGS) -stop tc -prefer-abs-paths true -show-def-use mlton.def-use $(FILE)
 
 .PHONY: clean
 clean: