diff options
-rw-r--r-- | src/ci/scripts/prepareWorkspace.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/ci/scripts/prepareWorkspace.sh b/src/ci/scripts/prepareWorkspace.sh index 725f3e382..45f857c1b 100644 --- a/src/ci/scripts/prepareWorkspace.sh +++ b/src/ci/scripts/prepareWorkspace.sh @@ -23,6 +23,7 @@ # Removes directories that are not used anymore. ## ATTIC_DIRS="" +REMOVE_DIRS=".indexer" for i in ${ATTIC_DIRS}; do if [ "X${i}" != "X" -a -d ${i} ]; then @@ -30,3 +31,7 @@ for i in ${ATTIC_DIRS}; do rm -rf ${i} fi done + +for i in ${REMOVE_DIRS}; do + find . -type d -name "${i}" -exec rm -rf {} \; +done |