mirror of
https://git.proxmox.com/git/rustc
synced 2025-08-17 22:09:53 +00:00
65 lines
794 B
Bash
Executable File
65 lines
794 B
Bash
Executable File
#!/usr/bin/env bash
|
|
#
|
|
# Performs an operation on all targets
|
|
|
|
set -ex
|
|
|
|
: ${1?"The all.sh script requires one argument."}
|
|
|
|
op=$1
|
|
|
|
cargo_clean() {
|
|
cargo clean
|
|
}
|
|
|
|
cargo_check_fmt() {
|
|
cargo fmt --all -- --check
|
|
}
|
|
|
|
cargo_fmt() {
|
|
cargo fmt --all
|
|
}
|
|
|
|
cargo_clippy() {
|
|
cargo clippy --all -- -D clippy::pedantic
|
|
}
|
|
|
|
CMD="-1"
|
|
|
|
case $op in
|
|
clean*)
|
|
CMD=cargo_clean
|
|
;;
|
|
check_fmt*)
|
|
CMD=cargo_check_fmt
|
|
;;
|
|
fmt*)
|
|
CMD=cargo_fmt
|
|
;;
|
|
clippy)
|
|
CMD=cargo_clippy
|
|
;;
|
|
*)
|
|
echo "Unknown operation: \"${op}\""
|
|
exit 1
|
|
;;
|
|
esac
|
|
|
|
echo "Operation is: ${CMD}"
|
|
|
|
# On src/
|
|
$CMD
|
|
|
|
# Check examples/
|
|
for dir in examples/*/
|
|
do
|
|
dir=${dir%*/}
|
|
cd ${dir%*/}
|
|
$CMD
|
|
cd -
|
|
done
|
|
|
|
cd verify/verify
|
|
$CMD
|
|
cd -
|