user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Revert "Temporarily disable dist-ing RLS, Rustfmt and Clippy."

Browse source 
This reverts commit 9f792e199b.
This commit is contained in:
kennytm 2018-03-22 17:52:57 +08:00
parent d54f74ea0a
commit a4bc859011
No known key found for this signature in database
GPG key ID: FEF6C8051D0E013C
1 changed files with 1 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

10
src/ci/run.sh
View file

@ -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"