From 3ed44ce8cfe0b7539bb7aa98bbb32411a11d2481 Mon Sep 17 00:00:00 2001 From: Steve Myers Date: Fri, 9 Apr 2021 09:19:19 -0700 Subject: [PATCH] Remove unneeded script --- scripts/cargo-check.sh | 32 -------------------------------- 1 file changed, 32 deletions(-) delete mode 100755 scripts/cargo-check.sh diff --git a/scripts/cargo-check.sh b/scripts/cargo-check.sh deleted file mode 100755 index a014f621..00000000 --- a/scripts/cargo-check.sh +++ /dev/null @@ -1,32 +0,0 @@ -#!/bin/bash -# -# Run various invocations of cargo check - -features=( "default" "compiler" "electrum" "esplora" "compact_filters" "key-value-db" "async-interface" "all-keys" "keys-bip39" ) -toolchains=( "+stable" "+1.46" ) - -main() { - check_src - check_all_targets -} - -# Check with all features, with various toolchains. -check_src() { - for toolchain in "${toolchains[@]}"; do - cmd="cargo $toolchain clippy --all-targets --no-default-features" - - for feature in "${features[@]}"; do - touch_files - echo $cmd --features "$feature" - $cmd --features "$feature" - done - done -} - -# Touch files to prevent cached warnings from not showing up. -touch_files() { - touch $(find . -name *.rs) -} - -main -exit 0