diff -r 30de175d3ed3 -r 4c0d4394d0b0 scripts/functions
--- a/scripts/functions	Thu Mar 21 11:01:09 2013 +0100
+++ b/scripts/functions	Sun May 05 18:34:20 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() {