[riot-notifications] [RIOT-OS/RIOT] tools/pr_check: add check preventing PKG_SOURCE_LOCAL merges (#11531)
notifications at github.com
Thu May 16 11:35:49 CEST 2019
### Contribution description
PKG_SOURCE_LOCAL only makes sense while developing. This PR makes sure no such definition can land in master (through accidental commits).
PR contains a test commit.
### Testing procedure
Watch it fail because of test commit. ACK, have it squashed, watch it succeed.
### Issues/PRs references
You can view, comment on, or merge this pull request online at:
-- Commit Summary --
* tools/pr_check: make sure no pkg makefile defines PKG_SOURCE_LOCAL
* REMOVEME: PKG_SOURCE_LOCAL test commit
-- File Changes --
M dist/tools/pr_check/pr_check.sh (6)
M pkg/heatshrink/Makefile (1)
-- Patch Links --
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the notifications