The following commit has been merged in the master branch:
commit 73e124d2fa03ed6e5c926096464ea02f7490b809
Author: Mike Gabriel
Date: Fri Aug 11 23:30:02 2017 -0400
Revert "devtools/Makefile: Make -D option configurable from the make
command call."
The following commit has been merged in the master branch:
commit 3a1e275c0c73755d690c605083ba761c9bababa7
Author: Mike Gabriel
Date: Fri Aug 11 23:31:00 2017 -0400
devtools/Makefile: Make -D option configurable from the make command call
(v2).
diff
The following commit has been merged in the master branch:
commit 9298afe9d90c490bca0153b4c0aa20c084c7c7b6
Author: Mike Gabriel
Date: Sat Aug 12 00:20:02 2017 -0400
devtools: Re-work configuration of NODEPENDS flag in blend-gen-control
script. The
The following commit has been merged in the master branch:
commit fd08b447a75e2ccfdefa344a3c9401f18f55734e
Author: Mike Gabriel
Date: Fri Aug 11 23:29:49 2017 -0400
Revert "Revert "devtools/blend-gen-control: With -D (no depends) set,
assure that packages