From 9f792e199bc53a75afdad72547a151a0bc86ec5d Mon Sep 17 00:00:00 2001
From: kennytm <kennytm@gmail.com>
Date: Thu, 22 Mar 2018 09:02:51 +0800
Subject: [PATCH] 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.
---
 src/ci/run.sh | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/src/ci/run.sh b/src/ci/run.sh
index e3f38e4834a..afa6d1fa0ae 100755
--- a/src/ci/run.sh
+++ b/src/ci/run.sh
@@ -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"