1.1 --- a/scripts/functions	Mon May 06 11:44:28 2013 +0200
     1.2 +++ b/scripts/functions	Sun May 05 18:34:20 2013 +0200
     1.3 @@ -414,6 +414,7 @@
     1.4  
     1.5  # Pushes into a directory, and pops back
     1.6  CT_Pushd() {
     1.7 +    CT_DoLog DEBUG "Entering '$1'"
     1.8      pushd "$1" >/dev/null 2>&1
     1.9  }
    1.10  CT_Popd() {