diff -r 30de175d3ed3 -r b83e6d31adba scripts/functions
--- a/scripts/functions	Thu Mar 21 11:01:09 2013 +0100
+++ b/scripts/functions	Wed Oct 02 20:06:18 2013 +0200
@@ -414,6 +414,7 @@
 
 # Pushes into a directory, and pops back
 CT_Pushd() {
+    CT_DoLog DEBUG "Entering '$1'"
     pushd "$1" >/dev/null 2>&1
 }
 CT_Popd() {