From c502bc14dca636adf2e68b15c934f9da75922356 Mon Sep 17 00:00:00 2001 From: Honnix Date: Fri, 24 May 2024 10:20:17 +0200 Subject: [PATCH] chore: Ignore shellcheck error in copy-paste code This piece of code is supposed to be copy-pasted literally, so it is better to already configure shellcheck ignore to help users who apply shellcheck to their scripts. --- tools/bash/runfiles/runfiles.bash | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/bash/runfiles/runfiles.bash b/tools/bash/runfiles/runfiles.bash index 6e541090587235..b40c88a392e8b2 100644 --- a/tools/bash/runfiles/runfiles.bash +++ b/tools/bash/runfiles/runfiles.bash @@ -70,6 +70,7 @@ # # --- begin runfiles.bash initialization v3 --- # # Copy-pasted from the Bazel Bash runfiles library v3. # set -uo pipefail; set +e; f=bazel_tools/tools/bash/runfiles/runfiles.bash +# # shellcheck disable=SC1090 # source "${RUNFILES_DIR:-/dev/null}/$f" 2>/dev/null || \ # source "$(grep -sm1 "^$f " "${RUNFILES_MANIFEST_FILE:-/dev/null}" | cut -f2- -d' ')" 2>/dev/null || \ # source "$0.runfiles/$f" 2>/dev/null || \