Increase target cache size for coverage build

This commit is contained in:
Michael Vines 2019-05-12 21:13:42 -07:00
parent 1dce5976cf
commit dccfe31e8c
No known key found for this signature in database
GPG Key ID: 33F4FDEC4E0E88BD
1 changed files with 2 additions and 2 deletions

View File

@ -17,8 +17,8 @@ export PS4="++"
if [[ -d $d ]]; then
du -hs "$d"
read -r cacheSizeInGB _ < <(du -s --block-size=1000000000 "$d")
if [[ $cacheSizeInGB -gt 10 ]]; then
read -r cacheSizeInGB _ < <(du -s --block-size=1800000000 "$d")
if [[ $cacheSizeInGB -gt 18 ]]; then
echo "$d has gotten too large, removing it"
rm -rf "$d"
fi