diff -r 000000000000 -r 567f1673d59d scripts/build/tools.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/scripts/build/tools.sh	Fri Jun 01 16:55:33 2007 +0000
@@ -0,0 +1,34 @@
+# Wrapper to build the tools facilities
+
+# List all tools facilities, and parse their scripts
+CT_TOOLS_FACILITY_LIST=
+for f in "${CT_TOP_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}"
+    fi
+done
+
+# Download the tools facilities
+do_tools_get() {
+    for f in ${CT_TOOLS_FACILITY_LIST}; do
+        do_tools_${f}_get
+    done
+}
+
+# Extract and patch the tools facilities
+do_tools_extract() {
+    for f in ${CT_TOOLS_FACILITY_LIST}; do
+        do_tools_${f}_extract
+    done
+}
+
+# Build the tools facilities
+do_tools() {
+    for f in ${CT_TOOLS_FACILITY_LIST}; do
+        do_tools_${f}_build
+    done
+}
+