# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@free.fr>
# Date 1367771660 -7200
# Node ID 4c0d4394d0b0506af1a9e1ff5d0d3448ab3458cb
# Parent  c8e430a306968e562b4a385eff8b565574ccb044
scripts: help debugging missing directories

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>

diff -r c8e430a30696 -r 4c0d4394d0b0 scripts/functions
--- a/scripts/functions	Mon May 06 11:44:28 2013 +0200
+++ 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() {