Fix tiny Makefile bug
authorAdam Chlipala <adamc@hcoop.net>
Thu, 3 May 2007 19:45:13 +0000 (19:45 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Thu, 3 May 2007 19:45:13 +0000 (19:45 +0000)
Makefile

index 31f72ba..f3161d4 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -129,7 +129,7 @@ bin/vmail: $(COMMON_MLTON_DEPS) src/vmail.mlb
        $(MLTON) -output bin/vmail src/vmail.mlb
 
 bin/setsa: $(COMMON_MLTON_DEPS) src/setsa.mlb
        $(MLTON) -output bin/vmail src/vmail.mlb
 
 bin/setsa: $(COMMON_MLTON_DEPS) src/setsa.mlb
-       $(MLTON) -output bin/setsa -ldl src/setsa.mlb
+       $(MLTON) -output bin/setsa src/setsa.mlb
 
 bin/smtplog: $(COMMON_MLTON_DEPS) src/smtplog.mlb
        $(MLTON) -output bin/smtplog src/smtplog.mlb
 
 bin/smtplog: $(COMMON_MLTON_DEPS) src/smtplog.mlb
        $(MLTON) -output bin/smtplog src/smtplog.mlb