Additional info

2017-05-28 22:41:16 +02:00 · 2017-05-28 22:41:16 +02:00 · 0e803bf5c8
parent c04779a7e0
commit 0e803bf5c8
1 changed files with 1 additions and 0 deletions
--- a/src/ci/scripts/prepareWorkspace.sh
+++ b/src/ci/scripts/prepareWorkspace.sh
@ -29,6 +29,7 @@ ATTIC_DIRS="redback-common/redback-common-jdo \

 for i in ${ATTIC_DIRS}; do
 if [ "X${i}" != "X" -a -d ${i} ]; then
+   echo "Deleting directory ${i}"
   rm -rf ${i}
 fi
 done