diff -r 62b3f52315b3 -r 3d480d12124e scripts/functions
--- a/scripts/functions	Mon Nov 29 00:26:39 2010 +0100
+++ b/scripts/functions	Tue Jan 25 21:59:03 2011 +0100
@@ -159,6 +159,24 @@
     PATH="${new}"
 }
 
+# Sanitise the directory name contained in the variable passed as argument:
+# - remove duplicate /
+# Usage: CT_SanitiseVarDir CT_PREFIX_DIR
+CT_SanitiseVarDir() {
+    local var
+    local old_dir
+    local new_dir
+
+    for var in "$@"; do
+        eval "old_dir=\"\${${var}}\""
+        new_dir="$( printf "${old_dir}"     \
+                    |sed -r -e 's:/+:/:g;'  \
+                  )"
+        eval "${var}=\"${new_dir}\""
+        CT_DoLog DEBUG "Sanitised '${var}': '${old_dir}' -> '${new_dir}'"
+    done
+}
+
 # Abort the execution with an error message
 # Usage: CT_Abort <message>
 CT_Abort() {