From ecd05637a34451da48e959a9595cf58de960198b Mon Sep 17 00:00:00 2001 From: ZhiQiang Fan Date: Sat, 28 Jun 2014 16:50:22 +0800 Subject: [PATCH] Do not clean docs directory The docs/source has been introduced by change-id: Ide5f7d980a294c7a9f8a3decaed0939f1c239934, but clean.sh try to clean whole docs direcotry, which is not right. Meanwhile, there are directories in FILES_TO_CLEAN variable, which means rm -f will not work. We need to use rm -rf. Change-Id: I4e10d70d5638ce7e7a9215f5bd848422aa90aad3 Closes-Bug: #1335399 --- clean.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/clean.sh b/clean.sh index 7851da3227..e2374e71e6 100755 --- a/clean.sh +++ b/clean.sh @@ -120,9 +120,9 @@ fi # Clean up files -FILES_TO_CLEAN=".localrc.auto docs-files docs/ shocco/ stack-screenrc test*.conf* test.ini*" +FILES_TO_CLEAN=".localrc.auto docs/files docs/html shocco/ stack-screenrc test*.conf* test.ini*" FILES_TO_CLEAN+=".stackenv .prereqs" for file in $FILES_TO_CLEAN; do - rm -f $TOP_DIR/$file + rm -rf $TOP_DIR/$file done