diff options
| author | kennytm <kennytm@gmail.com> | 2018-03-22 09:02:51 +0800 |
|---|---|---|
| committer | kennytm <kennytm@gmail.com> | 2018-03-22 09:45:48 +0800 |
| commit | 9f792e199bc53a75afdad72547a151a0bc86ec5d (patch) | |
| tree | 21c3b8d865dec2603c265d0961770e31aa47ff59 /src/ci | |
| parent | 56a19a9eec0ae2cd1b1914cfe9854e1c1028f329 (diff) | |
| download | rust-9f792e199bc53a75afdad72547a151a0bc86ec5d.tar.gz rust-9f792e199bc53a75afdad72547a151a0bc86ec5d.zip | |
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.
Diffstat (limited to 'src/ci')
| -rwxr-xr-x | src/ci/run.sh | 10 |
1 files changed, 9 insertions, 1 deletions
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" |