From ac64d96d45f900309ec7e97138b2e793f40ec9f1 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 3 May 2007 19:45:13 +0000 Subject: [PATCH] Fix tiny Makefile bug --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.20.1