diff --git a/build_tools/check.sh b/build_tools/check.sh
index 61decae38..e57bf2a41 100755
--- a/build_tools/check.sh
+++ b/build_tools/check.sh
@@ -125,6 +125,7 @@ fi
 
 # Using "()" not "{}" because we do want a subshell (for the export)
 system_tests() (
+    # shellcheck disable=2163
     [ -n "$*" ] && export "$@"
     # shellcheck disable=2031
     export FISH_GETTEXT_EXTRACTION_DIR="$gettext_template_dir"