[riot-commits] [RIOT-OS/RIOT] eab975: makefiles/docker.inc.mk: export RIOT_CI_BUILD to d...

Kaspar Schleiser kaspar at schleiser.de
Thu Sep 6 17:56:53 CEST 2018


  Branch: refs/heads/master
  Home:   https://github.com/RIOT-OS/RIOT
  Commit: eab9757d6244e467a3ac4d157ac9c324878f1d67
      https://github.com/RIOT-OS/RIOT/commit/eab9757d6244e467a3ac4d157ac9c324878f1d67
  Author: Gaƫtan Harter <gaetan.harter at fu-berlin.de>
  Date:   2018-09-06 (Thu, 06 Sep 2018)

  Changed paths:
    M makefiles/docker.inc.mk

  Log Message:
  -----------
  makefiles/docker.inc.mk: export RIOT_CI_BUILD to docker

The variable was not given to docker before and as it is setting
'RIOT_VERSION_OVERRIDE=buildtest' it helps testing in docker more
consistently.


  Commit: 8d1d509af9b7704bdb8fa01543696bb8ec1b4e7c
      https://github.com/RIOT-OS/RIOT/commit/8d1d509af9b7704bdb8fa01543696bb8ec1b4e7c
  Author: Kaspar Schleiser <kaspar at schleiser.de>
  Date:   2018-09-06 (Thu, 06 Sep 2018)

  Changed paths:
    M makefiles/docker.inc.mk

  Log Message:
  -----------
  Merge pull request #9895 from cladmi/pr/docker/add_riot_ci_build

makefiles/docker.inc.mk: export RIOT_CI_BUILD to docker


Compare: https://github.com/RIOT-OS/RIOT/compare/f0cf15ece463...8d1d509af9b7
      **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/

      Functionality will be removed from GitHub.com on January 31st, 2019.


More information about the commits mailing list