diff -r 99724e410693 -r 88020b2c3246 scripts/build/tools.sh
--- a/scripts/build/tools.sh	Sat May 03 09:53:49 2008 +0000
+++ b/scripts/build/tools.sh	Tue Jan 12 19:24:03 2010 +0100
@@ -3,11 +3,15 @@
 # List all tools facilities, and parse their scripts
 CT_TOOLS_FACILITY_LIST=
 for f in "${CT_LIB_DIR}/scripts/build/tools/"*.sh; do
-    is_enabled=
-    . "${f}"
-    f=$(basename "${f}" .sh)
-    if [ "${is_enabled}" = "y" ]; then
-        CT_TOOLS_FACILITY_LIST="${CT_TOOLS_FACILITY_LIST} ${f#???-}"
+    _f="$(basename "${f}" .sh)"
+    _f="${_f#???-}"
+    __f="CT_TOOL_${_f}"
+    if [ "${!__f}" = "y" ]; then
+        CT_DoLog DEBUG "Enabling tool '${_f}'"
+        . "${f}"
+        CT_TOOLS_FACILITY_LIST="${CT_TOOLS_FACILITY_LIST} ${_f}"
+    else
+        CT_DoLog DEBUG "Disabling tool '${_f}'"
     fi
 done