| commit | d692e11309961f84e9e1bd3f47524539adfa237e | [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:36:20 2019 +0100 |
| tree | 6251dd21413b175335ca7749a73ea2e09d5a9551 | |
| parent | add1d23b26242f8287a50770b12c5062d32ca59b [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 01e7a5f..66980b1 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