Skip to content

Commit

Permalink
Make the clean cache script a bit more OS agnostic fixing #1268.
Browse files Browse the repository at this point in the history
  • Loading branch information
manolama committed Dec 11, 2018
1 parent 52198cc commit e106175
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion tools/clean_cache.sh
Original file line number Diff line number Diff line change
Expand Up @@ -8,5 +8,5 @@ diskSpaceIsShort() {
}

if diskSpaceIsShort; then
( cd ${CACHE_DIR} && find . -x -exec rm {} \; )
( cd ${CACHE_DIR} && find . -type f -exec rm {} \; )
fi

0 comments on commit e106175

Please sign in to comment.