[riot-notifications] [RIOT-OS/RIOT] tools/pr_check: add check preventing PKG_SOURCE_LOCAL merges (#11531)

Kaspar Schleiser 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:

  https://github.com/RIOT-OS/RIOT/pull/11531

-- 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 --

https://github.com/RIOT-OS/RIOT/pull/11531.patch
https://github.com/RIOT-OS/RIOT/pull/11531.diff

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/RIOT-OS/RIOT/pull/11531
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20190516/e0c1ec7d/attachment.html>


More information about the notifications mailing list