From 056fe78572cfd4d26ebc70a5b709f93802255432 Mon Sep 17 00:00:00 2001 From: Martin Mares Date: Tue, 12 Apr 2005 18:42:41 +0000 Subject: [PATCH] Distinguish between CONFIG_DEBUG and CONFIG_DEBUG_TOOLS in config files, but in the Makefiles yet, because I want to keep the old config system for a short while. --- build/sherlock.cfg | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/build/sherlock.cfg b/build/sherlock.cfg index b8d59026..8ecaac4b 100644 --- a/build/sherlock.cfg +++ b/build/sherlock.cfg @@ -7,6 +7,9 @@ Set("SHERLOCK_VERSION" => "3.5"); # Installation directory for `make install' Set("INSTALL_DIR" => "~/run-3.5"); +# Compile everything with debug information and ASSERT's +UnSet("CONFIG_DEBUG"); + ### Standard modules available in all releases of Sherlock ### # Gatherer (the gatherer library and some utilities) [FIXME: decide automatically?] @@ -72,7 +75,7 @@ Set("CONFIG_MAX_CONTEXTS" => 256); Set("CONFIG_32BIT_REFERENCES"); # Debugging tools -UnSet("CONFIG_DEBUG"); +UnSet("CONFIG_DEBUG_TOOLS"); # Search server: Enable EXPLAIN command (slows searching down slightly) Set("CONFIG_EXPLAIN"); -- 2.39.2