scripts/functions
branch1.19
changeset 3236 b83e6d31adba
parent 3205 30de175d3ed3
child 3247 01ef2159b12a
     1.1 --- a/scripts/functions	Thu Mar 21 11:01:09 2013 +0100
     1.2 +++ b/scripts/functions	Wed Oct 02 20:06:18 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() {