From 3e297d35e8cf60c9f3863611c1454d0e87c78f91 Mon Sep 17 00:00:00 2001
From: "Yann E. MORIN\"" <yann.morin.1998@free.fr>
Date: Sun, 5 May 2013 18:34:20 +0200
Subject: [PATCH] scripts: help debugging missing directories

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
---
 scripts/functions | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/functions b/scripts/functions
index 5eab53e9..c58ccb39 100644
--- a/scripts/functions
+++ b/scripts/functions
@@ -414,6 +414,7 @@ CT_EndStep() {
 
 # Pushes into a directory, and pops back
 CT_Pushd() {
+    CT_DoLog DEBUG "Entering '$1'"
     pushd "$1" >/dev/null 2>&1
 }
 CT_Popd() {