diff options
Diffstat (limited to 'jjb/pre-fetch')
| -rw-r--r-- | jjb/pre-fetch/include-prefetch.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/jjb/pre-fetch/include-prefetch.sh b/jjb/pre-fetch/include-prefetch.sh index dd302470..2d58908c 100644 --- 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 |