[riot-notifications] [RIOT-OS/RIOT] make: add termdeps target (#11762)

Gaëtan Harter notifications at github.com
Mon Jul 1 19:14:59 CEST 2019


> > Ok in that case the second commit should be in another PR, since its a murdock speed up and since you are referencing the PR in the code I would rather have the referenced changed properly isolated.
> 
> PR splitting is for making reviews easier, not for keeping changes distinct. Commits are used for the latter. AFAICT, the changes here are already agreed on. So unless you're having problems ACKing parts of this PR, splitting the PR is only extra work.

The major change for me is to put `TERMDEPS` as `TEST_DEPS` and it is justified enough. As long as this one is in a separate commit it is good enough.
The `murdock` change will test itself.

Please squash.

-- 
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/11762#issuecomment-507350797
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20190701/f02c2c4b/attachment.html>


More information about the notifications mailing list