Fix removal of unneeded files

Change-Id: Ifd105122f6634bb841f8674441c38b36c89e2119
Signed-off-by: Jan-Simon Möller <jsmoeller@linuxfoundation.org>

diff --git a/jjb/pre-fetch/include-prefetch.sh b/jjb/pre-fetch/include-prefetch.sh
index dd30247..2d58908 100644 (file)
--- a/jjb/pre-fetch/include-prefetch.sh
+++ b/jjb/pre-fetch/include-prefetch.sh
@@ -43,7 +43,8 @@ done
 
 pushd ../mirror
 rm -f *.done
-find . -type d -delete
+find .  -maxdepth 1 -type d | grep -v uninative | xargs rm -rf
+rm -f *bad-checksum*
 ls -alh
 popd