Remove unneeded script

This commit is contained in:
Steve Myers 2021-04-09 09:19:19 -07:00
parent 8e7d8312a9
commit 3ed44ce8cf
No known key found for this signature in database
GPG Key ID: 8105A46B22C2D051

View File

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