scripts/functions
changeset 3212 4c0d4394d0b0
parent 3205 30de175d3ed3
child 3247 01ef2159b12a
     1.1 --- a/scripts/functions	Thu Mar 21 11:01:09 2013 +0100
     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() {