From: Clinton Ebadi Date: Fri, 25 Apr 2014 22:02:31 +0000 (-0400) Subject: Build domtool-config by default X-Git-Tag: release_20140428~8 X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/b3f18c3576e81cfd6c49d62ad2b69986e17d82c4?ds=sidebyside Build domtool-config by default --- diff --git a/Makefile b/Makefile index f9ebab0..2d798cb 100644 --- a/Makefile +++ b/Makefile @@ -32,7 +32,7 @@ config.sml: mlton: bin/domtool-server bin/domtool-client bin/domtool-slave \ bin/domtool-admin bin/domtool-doc bin/dbtool bin/vmail \ bin/smtplog bin/setsa bin/mysql-fixperms bin/webbw bin/domtool-tail \ - bin/fwtool + bin/fwtool bin/domtool-config smlnj: $(COMMON_DEPS) openssl/smlnj/FFI/libssl.h.cm pcre/smlnj/FFI/libpcre.h.cm \ src/domtool.cm