HCoop
/
hcoop
/
domtool2.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
7b050e1
)
Build domtool-config by default
author
Clinton Ebadi
<clinton@unknownlamer.org>
Fri, 25 Apr 2014 22:02:31 +0000
(18:02 -0400)
committer
Clinton Ebadi
<clinton@unknownlamer.org>
Fri, 25 Apr 2014 22:02:31 +0000
(18:02 -0400)
Makefile
patch
|
blob
|
blame
|
history
diff --git
a/Makefile
b/Makefile
index
f9ebab0
..
2d798cb
100644
(file)
--- 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