From b3f18c3576e81cfd6c49d62ad2b69986e17d82c4 Mon Sep 17 00:00:00 2001 From: Clinton Ebadi Date: Fri, 25 Apr 2014 18:02:31 -0400 Subject: [PATCH] Build domtool-config by default --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.20.1