diff options
Diffstat (limited to 'src')
| -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" |