Temporarily disable dist-ing RLS, Rustfmt and Clippy.

Unfortunately we don't have sufficient time to rebuild the cache *and*
distribute everything in `dist-x86_64-linux alt`, the debug assertions are
really slow.

We will re-enable them after the PR has been successfully merged, thus
successfully updating the cache (freeing up 40 minutes), giving us enough
time to build these tools.
This commit is contained in:
kennytm 2018-03-22 09:02:51 +08:00
parent 56a19a9eec
commit 9f792e199b
No known key found for this signature in database
GPG key ID: FEF6C8051D0E013C

View file

@ -105,7 +105,15 @@ fi
travis_fold end log-system-info
if [ ! -z "$SCRIPT" ]; then
sh -x -c "$SCRIPT"
# FIXME(#49246): Re-enable these tools after #49246 has been merged and thus fixing the cache.
if [ "$DEPLOY_ALT" = 1 ]; then
sh -x -c "$SCRIPT \
--exclude src/tools/rls \
--exclude src/tools/rustfmt \
--exclude src/tools/clippy"
else
sh -x -c "$SCRIPT"
fi
else
do_make() {
travis_fold start "make-$1"