Do not list tools names manually in tools/publish.sh

This commit is contained in:
Taiki Endo
2022-12-25 11:50:57 +09:00
parent 5f1007031e
commit e76e8e0eab
2 changed files with 10 additions and 25 deletions

View File

@@ -79,27 +79,14 @@ if [[ -n "${tags}" ]]; then
git commit -m "Release ${version}"
fi
tools=(
cargo-binstall
cargo-deny
cargo-hack
cargo-llvm-cov
cargo-minimal-versions
cargo-nextest
cargo-udeps
cargo-valgrind
cross
mdbook
mdbook-linkcheck
nextest
parse-changelog
protoc
shellcheck
shfmt
valgrind
wasm-pack
wasmtime
)
tools=()
for tool in tools/codegen/base/*.json; do
tools+=("$(basename "${tool%.*}")")
done
# Aliases
tools+=(nextest)
# Not manifest-base
tools+=(valgrind)
(
set -x