diff --git a/tooling/compare-builds.sh b/tooling/compare-builds.sh
index da1bf3254..fb0e5f836 100755
--- a/tooling/compare-builds.sh
+++ b/tooling/compare-builds.sh
@@ -479,6 +479,7 @@ popd
 
 diffFile="${COMPARE_WAPPER_SCRIPT_DIR}/reproducible/reprotest.diff"
 if [ "${DO_TAPS:-}" == "true" ] || [ "${DO_JUNIT:-}" == "true" ] ; then
+  # shellcheck source=tooling/compare-builds-postfunctions.sh
   source "${COMPARE_WAPPER_SCRIPT_DIR}/compare-builds-postfunctions.sh"
   tapsAndJunits "${diffFile}" "${diflog}" "${totlog}"
 else