Fix tiny Makefile bug

[hcoop/domtool2.git] / Makefile

diff --git a/Makefile b/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/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