From c42cd6092673dd822fe483886c4c6bb9708dd2f1 Mon Sep 17 00:00:00 2001 From: Philipp Hansch Date: Tue, 11 Sep 2018 20:35:41 +0200 Subject: [PATCH] Remove rust-update script We no longer need this as clippy is installed through rustup now. --- rust-update | 31 ------------------------------- 1 file changed, 31 deletions(-) delete mode 100755 rust-update diff --git a/rust-update b/rust-update deleted file mode 100755 index d065319c736..00000000000 --- a/rust-update +++ /dev/null @@ -1,31 +0,0 @@ -#!/bin/sh - -if [ "$1" = '-h' ] ; then - echo 'Updates rustc & clippy' - echo 'It first checks if clippy would compile at current nightly and if so, it updates.' - echo 'Options:' - echo '-h: This help message' - echo '-f: Skips the check and just updates' - exit -fi - -set -ex - -renice -n 10 -p $$ - -export CARGO_INCREMENTAL=0 -export RUSTFLAGS='-C target-cpu=native' - -try_out() { - export RUSTUP_HOME=$HOME/.rustup-attempt - test -d $RUSTUP_HOME || (rustup toolchain add nightly && rustup default nightly) - rustup update - cargo +nightly install --force clippy - unset RUSTUP_HOME - export RUSTUP_HOME -} - -[ "$1" = '-f' ] || try_out - -rustup update -cargo +nightly install --force clippy