From 9363a515a50bb69384767df25d18e1273b7cf618 Mon Sep 17 00:00:00 2001
From: Kaspar Schleiser <kaspar@schleiser.de>
Date: Thu, 16 May 2019 11:31:32 +0200
Subject: [PATCH] tools/pr_check: make sure no pkg makefile defines
 PKG_SOURCE_LOCAL

The variable is supposed to be used for local development only.
---
 dist/tools/pr_check/pr_check.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/dist/tools/pr_check/pr_check.sh b/dist/tools/pr_check/pr_check.sh
index 69927d7da66b..2a30b3c55bb2 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}