diff --git a/examples/common/build_ice40.sh b/examples/common/build_ice40.sh
index 323e38a..115ac0d 100755
--- a/examples/common/build_ice40.sh
+++ b/examples/common/build_ice40.sh
@@ -1,5 +1,7 @@
 #!/usr/bin/env bash
 set -euo pipefail
+
+# shellcheck source=examples/common/find_tool.sh
 source "$(dirname "$(readlink -f "$0")")/find_tool.sh"
 
 # Make sure tools are accessible
diff --git a/examples/common/build_vivado.sh b/examples/common/build_vivado.sh
index 1da24e9..d170577 100755
--- a/examples/common/build_vivado.sh
+++ b/examples/common/build_vivado.sh
@@ -1,5 +1,7 @@
 #!/usr/bin/env bash
 set -euo pipefail
+
+# shellcheck source=examples/common/find_tool.sh
 source "$(dirname "$(readlink -f "$0")")/find_tool.sh"
 
 # Make sure Vivado is accessible
diff --git a/examples/common/find_tool.sh b/examples/common/find_tool.sh
index 60c8a30..18f927f 100644
--- a/examples/common/find_tool.sh
+++ b/examples/common/find_tool.sh
@@ -1,3 +1,5 @@
+#!/usr/bin/env bash
+
 # Find a tool binary from either the $PATH environment variable, or another
 # environment variable named after the tool (ie, $VIVADO or $YOSYS).
 # Usage: find_tool <tool_name>