build_tools/check.sh: respect inherited RUSTFLAGS/RUSTDOCFLAGS

No particular motivation. Seems better?
Also, use long options I guess.
This commit is contained in:
Johannes Altmanninger
2025-06-23 09:59:49 +02:00
parent 6f18a1b314
commit f98d1779dd

View File

@@ -29,8 +29,8 @@ cleanup () {
trap cleanup EXIT INT TERM HUP
if $lint; then
export RUSTFLAGS='-D warnings'
export RUSTDOCFLAGS='-D warnings'
export RUSTFLAGS="--deny=warnings ${RUSTFLAGS}"
export RUSTDOCFLAGS="--deny=warnings ${RUSTDOCFLAGS}"
fi
repo_root="$(dirname "$0")/.."