commit c780095901ec2d96fae274e69afce7aab5ad5c4f
author Gilles Peskine <Gilles.Peskine@arm.com> Wed Jan 09 23:14:09 2019 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> Thu Jan 10 18:29:37 2019 +0100
tree 74fc82fc32fc67ca3276bfc13d556e664fe910ef
parent c9663b16852927c2fa43cd2f747a024ede213898

Delete $OUT_OF_SOURCE_DIR under --force even without Yotta

The deletion of "$OUT_OF_SOURCE_DIR" had mistakenly been lumped
together with Yotta.

tests/scripts/all.sh

diff --git a/tests/scripts/all.sh b/tests/scripts/all.sh
index b8a7da5..1ae6a3d 100755
--- a/tests/scripts/all.sh
+++ b/tests/scripts/all.sh
@@ -366,8 +366,9 @@
 
 pre_check_git () {
     if [ $FORCE -eq 1 ]; then
+        rm -rf "$OUT_OF_SOURCE_DIR"
         if [ $YOTTA -eq 1 ]; then
-            rm -rf yotta/module "$OUT_OF_SOURCE_DIR"
+            rm -rf yotta/module
         fi
         git checkout-index -f -q $CONFIG_H
         cleanup