diff --git a/scripts/dev/ci/travis_run.sh b/scripts/dev/ci/travis_run.sh
index f4960b808..74b8ae63f 100644
--- a/scripts/dev/ci/travis_run.sh
+++ b/scripts/dev/ci/travis_run.sh
@@ -16,6 +16,8 @@ elif [[ $TESTENV == eslint ]]; then
     eslint --color --report-unused-disable-directives .
 elif [[ $TESTENV == shellcheck ]]; then
     dev_scripts=$( find scripts/dev/ -name '*.sh' -print0 | xargs -0 )
+    # false positive: we are using 'find -exec +'
+    # shellcheck disable=SC2038
     userscripts=$( find misc/userscripts/ -type f -exec grep -lE '[/ ][bd]ash$|[/ ]sh$|[/ ]ksh$' {} + | xargs )
     IFS=" " read -r -a scripts <<< "$dev_scripts $userscripts"
     docker run \