Auto merge of #74967 - Aaron1011:feature/incr-def-path-table, r=pnkfelix

[rust.git] / src / ci / shared.sh

diff --git a/src/ci/shared.sh b/src/ci/shared.sh
index c93d4774e3992b89983a2bbd2fccef1688d916d9..3c196c9478cf8adfdb91aac614434078431a5b44 100644 (file)
--- a/src/ci/shared.sh
+++ b/src/ci/shared.sh
@@ -1,4 +1,5 @@
 #!/bin/false
+# shellcheck shell=bash
 
 # This file is intended to be sourced with `. shared.sh` or
 # `source shared.sh`, hence the invalid shebang and not being