From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 3 May 2007 19:45:13 +0000 (+0000)
Subject: Fix tiny Makefile bug
X-Git-Tag: release_2010-11-19~221
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/ac64d96d45f900309ec7e97138b2e793f40ec9f1

Fix tiny Makefile bug
---

diff --git a/Makefile b/Makefile
index 31f72ba..f3161d4 100644
--- 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