[riot-commits] [RIOT-OS/RIOT] c93d1c: dist: adapt DEVELHELP switch

[Kaspar Schleiser]

  Branch: refs/heads/master
  Home:   https://github.com/RIOT-OS/RIOT
  Commit: c93d1ca6c2aaa75bee5d04386c86fc4295bf0471
      https://github.com/RIOT-OS/RIOT/commit/c93d1ca6c2aaa75bee5d04386c86fc4295bf0471
  Author: smlng <s at mlng.net>
  Date:   2017-11-28 (Tue, 28 Nov 2017)

  Changed paths:
    M dist/Makefile

  Log Message:
  -----------
  dist: adapt DEVELHELP switch


  Commit: b62ebf5e44b002344847db1f86cb9e8a9cfcd26d
      https://github.com/RIOT-OS/RIOT/commit/b62ebf5e44b002344847db1f86cb9e8a9cfcd26d
  Author: Kaspar Schleiser <kaspar at schleiser.de>
  Date:   2017-11-30 (Thu, 30 Nov 2017)

  Changed paths:
    M dist/Makefile

  Log Message:
  -----------
  Merge pull request #8079 from smlng/enh/dist/develhelp

dist: adapt develhelp in Makefile


Compare: https://github.com/RIOT-OS/RIOT/compare/639e65bc0e2e...b62ebf5e44b0