diff options
| author |   Jan-Simon Möller <jsmoeller@linuxfoundation.org> | 2016-10-20 18:07:10 +0200 |
|---|---|---|
| committer | Jan-Simon Möller <jsmoeller@linuxfoundation.org> | 2016-10-20 18:07:10 +0200 |
| commit | 030f638582e29db720a6ed3eebe7bac44bd6a6bf (patch) | |
| tree | 2e6de8d68c7cc964eb6df0ceae29bc66d17b5064 /jjb/pre-fetch | |
| parent | 1b3d749884bdfb0761cff04ce4a207ab4315edbc (diff) | |
Fix removal of unneeded files
Change-Id: Ifd105122f6634bb841f8674441c38b36c89e2119
Signed-off-by: Jan-Simon Möller <jsmoeller@linuxfoundation.org>
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 |