diff options
| author | kennytm <kennytm@gmail.com> | 2018-03-22 17:52:57 +0800 |
|---|---|---|
| committer | kennytm <kennytm@gmail.com> | 2018-03-22 22:43:56 +0800 |
| commit | a4bc8590117f313ab2c895ab91f183f368369e2b (patch) | |
| tree | 1eca137c4098fe1f3820186c21b97697d58f2873 | |
| parent | d54f74ea0a606595a0933e672283abad59067578 (diff) | |
| download | rust-a4bc8590117f313ab2c895ab91f183f368369e2b.tar.gz rust-a4bc8590117f313ab2c895ab91f183f368369e2b.zip | |
Revert "Temporarily disable dist-ing RLS, Rustfmt and Clippy."
This reverts commit 9f792e199bc53a75afdad72547a151a0bc86ec5d.
| -rwxr-xr-x | src/ci/run.sh | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/src/ci/run.sh b/src/ci/run.sh index afa6d1fa0ae..e3f38e4834a 100755 --- a/src/ci/run.sh +++ b/src/ci/run.sh @@ -105,15 +105,7 @@ fi travis_fold end log-system-info if [ ! -z "$SCRIPT" ]; then - # 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 + sh -x -c "$SCRIPT" else do_make() { travis_fold start "make-$1" |