From c780095901ec2d96fae274e69afce7aab5ad5c4f Mon Sep 17 00:00:00 2001
From: Gilles Peskine <Gilles.Peskine@arm.com>
Date: Wed, 9 Jan 2019 23:14:09 +0100
Subject: [PATCH] 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 | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tests/scripts/all.sh b/tests/scripts/all.sh
index b8a7da55d..1ae6a3d8f 100755
--- a/tests/scripts/all.sh
+++ b/tests/scripts/all.sh
@@ -366,8 +366,9 @@ pre_parse_command_line () {
 
 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