X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/216f7bc503e90dd5ad3c5f0823858f11201269cb..7b0b04403d80589743acbad228cd7dc5c616c33f:/Makefile

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