diff --git a/dist/tools/pr_check/pr_check.sh b/dist/tools/pr_check/pr_check.sh index 69927d7da6..2a30b3c55b 100755 --- a/dist/tools/pr_check/pr_check.sh +++ b/dist/tools/pr_check/pr_check.sh @@ -50,4 +50,10 @@ if [ -n "$TRAVIS_PULL_REQUEST" -o -n "$CI_PULL_NR" ]; then fi fi +if git grep -q PKG_SOURCE_LOCAL -- pkg/*/Makefile; then + echo -e "${CERROR}The following files contain a PKG_SOURCE_LOCAL definition:${CRESET}" + git grep -l PKG_SOURCE_LOCAL -- pkg/*/Makefile + EXIT_CODE=1 +fi + exit ${EXIT_CODE}