tree 6251dd21413b175335ca7749a73ea2e09d5a9551
parent add1d23b26242f8287a50770b12c5062d32ca59b
author Gilles Peskine <Gilles.Peskine@arm.com> 1547072255 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1547141780 +0100

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.