| commit | 53190e6160414c5ee1caee6edcebc95c686f140b | [log] [tgz] |
|---|---|---|
| author | Gilles Peskine <Gilles.Peskine@arm.com> | Wed Jan 09 23:17:35 2019 +0100 |
| committer | Gilles Peskine <Gilles.Peskine@arm.com> | Thu Jan 10 18:29:15 2019 +0100 |
| tree | 70556cba4a1bed5492e8e693e063f0a7a443687b | |
| parent | d1174cf0151738393d939de37787b6a91ca4b056 [diff] [blame] |
Delete $OUT_OF_SOURCE_DIR under --force The deletion of "$OUT_OF_SOURCE_DIR" had mistakenly been lumped together with Yotta and then removed when Yotta support was removed. Bring it back.
diff --git a/tests/scripts/all.sh b/tests/scripts/all.sh index 642128a..b95429b 100755 --- a/tests/scripts/all.sh +++ b/tests/scripts/all.sh
@@ -370,6 +370,7 @@ pre_check_git () { if [ $FORCE -eq 1 ]; then + rm -rf "$OUT_OF_SOURCE_DIR" git checkout-index -f -q $CONFIG_H cleanup else