Add setsa in default Makefile target
authorAdam Chlipala <adamc@hcoop.net>
Sat, 10 Feb 2007 21:06:09 +0000 (21:06 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sat, 10 Feb 2007 21:06:09 +0000 (21:06 +0000)
Makefile

index 8189d06..15a2272 100644 (file)
--- 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 \
 
 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
 
 
 smlnj: $(COMMON_DEPS) openssl/smlnj/FFI/libssl.h.cm src/domtool.cm