From 841c836a0e0fedb8eb38a48e0fe44dc894346928 Mon Sep 17 00:00:00 2001
From: Clinton Ebadi <clinton@unknownlamer.org>
Date: Thu, 24 Apr 2014 01:38:11 -0400
Subject: [PATCH] Include CONFIG_CORE signature in domtool.cfs and fix webbw
 build

---
 configDefault/domtool.cfs | 2 ++
 src/stats/webbw.mlb       | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/configDefault/domtool.cfs b/configDefault/domtool.cfs
index 6d8622a..3424464 100644
--- a/configDefault/domtool.cfs
+++ b/configDefault/domtool.cfs
@@ -57,3 +57,5 @@ val domtoolDir : string -> string
 val worldReadable : string list
 
 val publish_reusers : string
+
+include CONFIG_CORE
diff --git a/src/stats/webbw.mlb b/src/stats/webbw.mlb
index cfc1dc8..d7ef6fd 100644
--- a/src/stats/webbw.mlb
+++ b/src/stats/webbw.mlb
@@ -2,6 +2,8 @@ $(SML_LIB)/basis/basis.mlb
 $(SML_LIB)/smlnj-lib/Util/smlnj-lib.mlb
 
 ../configTypes.sml
+../../config/core/core.sig
+../../config/core/core.sml
 ../../configDefault/config.sig
 ../../configDefault/configDefault.sml
 ../../config.sml
-- 
2.20.1