tree 21f677dde35d19a68615740482485631100af7e0
parent 84052570355bb5608248f162b622068b7b9eaa7c
author Gilles Peskine <Gilles.Peskine@arm.com> 1521630906 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1521631748 +0100

all.sh: be more conservative when cleaning up CMake artefacts

Only delete things that we expect to find, to avoid deleting other
things that people might have lying around in their build tree.
Explicitly skip .git to avoid e.g. accidentally matching a branch
name.