diff options
| author | Michael Wright <mikerite@lavabit.com> | 2018-09-19 07:04:38 +0200 |
|---|---|---|
| committer | Michael Wright <mikerite@lavabit.com> | 2018-09-19 07:05:36 +0200 |
| commit | c52b33decb561c2e8387f98ac59b351645368a7a (patch) | |
| tree | 7683ddf8b204156fce0795ca12a01bab56dd3690 | |
| parent | 125907ad08853b92d35e86aecebcf0f784f348d5 (diff) | |
| download | rust-c52b33decb561c2e8387f98ac59b351645368a7a.tar.gz rust-c52b33decb561c2e8387f98ac59b351645368a7a.zip | |
Make travis check lint list
| -rwxr-xr-x | ci/base-tests.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ci/base-tests.sh b/ci/base-tests.sh index ba408bbb5fc..2358c8fe2ed 100755 --- a/ci/base-tests.sh +++ b/ci/base-tests.sh @@ -9,6 +9,8 @@ cargo build --features debugging cargo test --features debugging cd clippy_lints && cargo test && cd .. cd rustc_tools_util && cargo test && cd .. +# check that the lint lists are up-to-date +./util/update_lints.py -c mkdir -p ~/rust/cargo/bin cp target/debug/cargo-clippy ~/rust/cargo/bin/cargo-clippy cp target/debug/clippy-driver ~/rust/cargo/bin/clippy-driver |