From f98d1779ddfa57b5d3a02643d717fd30301aaeaf Mon Sep 17 00:00:00 2001
From: Johannes Altmanninger <aclopte@gmail.com>
Date: Mon, 23 Jun 2025 09:59:49 +0200
Subject: [PATCH] build_tools/check.sh: respect inherited
 RUSTFLAGS/RUSTDOCFLAGS

No particular motivation. Seems better?
Also, use long options I guess.
---
 build_tools/check.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build_tools/check.sh b/build_tools/check.sh
index 67556a190..3252f5476 100755
--- a/build_tools/check.sh
+++ b/build_tools/check.sh
@@ -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")/.."