Previously, only core files were deleted, because -o operator has low
priority.
addons:
apt: { sources: *common_sources, packages: [*common_packages, unzip] }
addons:
apt: { sources: *common_sources, packages: [*common_packages, unzip] }
-before_cache: if [ -d vot2016 ]; then find -name output.txt -o -name core -print0 | xargs -0 rm -f; fi
+before_cache: rm -f vot2016/*/{output.txt,core}
cache:
directories: [ vot2016 ]
cache:
directories: [ vot2016 ]