[riot-commits] [RIOT-OS/RIOT] e1357c: makefiles/docker.inc.mk: allow disabling color in ...

Juan I Carrano noreply at github.com
Thu Aug 22 13:22:34 CEST 2019


  Branch: refs/heads/master
  Home:   https://github.com/RIOT-OS/RIOT
  Commit: e1357c149987ea0a876f68b5efcf66e6f2e89e8a
      https://github.com/RIOT-OS/RIOT/commit/e1357c149987ea0a876f68b5efcf66e6f2e89e8a
  Author: Gaëtan Harter <gaetan.harter at fu-berlin.de>
  Date:   2019-08-22 (Thu, 22 Aug 2019)

  Changed paths:
    M makefiles/docker.inc.mk

  Log Message:
  -----------
  makefiles/docker.inc.mk: allow disabling color in docker

When compiling with CC_NOCOLOR=1, color were still used when
printing during compilation with `BUILD_IN_DOCKER=1`.


  Commit: dd8fc0b09541c15d7c5443684a3bb2914356e560
      https://github.com/RIOT-OS/RIOT/commit/dd8fc0b09541c15d7c5443684a3bb2914356e560
  Author: Juan I Carrano <j.carrano at fu-berlin.de>
  Date:   2019-08-22 (Thu, 22 Aug 2019)

  Changed paths:
    M makefiles/docker.inc.mk

  Log Message:
  -----------
  Merge pull request #12061 from cladmi/pr/docker/cc_nocolor

makefiles/docker.inc.mk: allow disabling color in docker


Compare: https://github.com/RIOT-OS/RIOT/compare/e2b2b8e43cba...dd8fc0b09541


More information about the commits mailing list