Auto merge of #22175 - servo:jdm-patch-19, r=jdm

Fix linux-rel-intermittent build.

<!-- Reviewable:start -->
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/22175)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2018-11-16 16:18:03 -05:00 committed by GitHub
commit 1517298820
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -74,6 +74,10 @@ mac-nightly:
- ./etc/ci/update-wpt-checkout cleanup
linux-rel-intermittent:
env:
CC: gcc-5
CXX: g++-5
commands:
- ./mach clean-nightlies --keep 3 --force
- ./mach clean-cargo-cache --keep 3 --force
- ./etc/ci/clean_build_artifacts.sh