[riot-commits] [RIOT-OS/RIOT] 65ddc0: makefiles/vars.inc.mk: Document DEVELHELP and VERB...

Martine Lenders noreply at github.com
Sun Sep 26 13:42:39 CEST 2021


  Branch: refs/heads/master
  Home:   https://github.com/RIOT-OS/RIOT
  Commit: 65ddc097984b9961c567c68de98dcc460a48a4b2
      https://github.com/RIOT-OS/RIOT/commit/65ddc097984b9961c567c68de98dcc460a48a4b2
  Author: Marian Buschsieweke <marian.buschsieweke at ovgu.de>
  Date:   2021-09-25 (Sat, 25 Sep 2021)

  Changed paths:
    M makefiles/vars.inc.mk

  Log Message:
  -----------
  makefiles/vars.inc.mk: Document DEVELHELP and VERBOSE_ASSERT


  Commit: 5e81bd56b08497697f3a25291d8f746508b43b85
      https://github.com/RIOT-OS/RIOT/commit/5e81bd56b08497697f3a25291d8f746508b43b85
  Author: Martine Lenders <m.lenders at fu-berlin.de>
  Date:   2021-09-26 (Sun, 26 Sep 2021)

  Changed paths:
    M makefiles/vars.inc.mk

  Log Message:
  -----------
  Merge pull request #16894 from maribu/makefiles/vars.inc.mk

makefiles/vars.inc.mk: Document DEVELHELP and VERBOSE_ASSERT


Compare: https://github.com/RIOT-OS/RIOT/compare/d1768e95a5a4...5e81bd56b084


More information about the commits mailing list