scripts/functions
changeset 3227 1048e4dca434
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 Jul 24 23:03:48 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() {