From 7b0b04403d80589743acbad228cd7dc5c616c33f Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 10 Feb 2007 21:06:09 +0000 Subject: [PATCH] Add setsa in default Makefile target --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 8189d06..15a2272 100644 --- a/Makefile +++ b/Makefile @@ -7,7 +7,7 @@ COMMON_DEPS := configDefault/config.sig configDefault/configDefault.sml \ mlton: bin/domtool-server bin/domtool-client bin/domtool-slave \ bin/domtool-admin bin/domtool-doc bin/dbtool bin/vmail \ - bin/smtplog + bin/smtplog bin/setsa smlnj: $(COMMON_DEPS) openssl/smlnj/FFI/libssl.h.cm src/domtool.cm -- 2.20.1