Gilles Peskine 31b07e2833 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.
2018-03-21 12:29:08 +01:00
..
2017-07-27 21:44:34 +01:00
2016-01-12 14:48:03 +00:00
2015-04-09 10:53:11 +02:00
2015-08-04 17:46:21 +02:00
2017-05-16 17:53:03 +02:00