[riot-commits] [RIOT-OS/RIOT] 434328: Makefile.include: append the values to GLOBAL_GOAL...

Gaëtan Harter hartergaetan at gmail.com
Fri Jan 18 18:26:22 CET 2019


  Branch: refs/heads/master
  Home:   https://github.com/RIOT-OS/RIOT
  Commit: 434328debf57df05e78a95b8369dcff4a06aaa90
      https://github.com/RIOT-OS/RIOT/commit/434328debf57df05e78a95b8369dcff4a06aaa90
  Author: Gaëtan Harter <gaetan.harter at fu-berlin.de>
  Date:   2019-01-18 (Fri, 18 Jan 2019)

  Changed paths:
    M Makefile.include

  Log Message:
  -----------
  Makefile.include: append the values to GLOBAL_GOALS

This allows setting other GLOBAL_GOALS by setting it before.
This could be the case for the application `Makefile` or files parsed
from `RIOT_MAKEFILES_GLOBAL_PRE`.


  Commit: 4e5de1b789fe44602d51a18ab6f4bfe28bd923f8
      https://github.com/RIOT-OS/RIOT/commit/4e5de1b789fe44602d51a18ab6f4bfe28bd923f8
  Author: Gaëtan Harter <hartergaetan at gmail.com>
  Date:   2019-01-18 (Fri, 18 Jan 2019)

  Changed paths:
    M Makefile.include

  Log Message:
  -----------
  Merge pull request #10821 from cladmi/pr/make/global_goals

Makefile.include: append the values to GLOBAL_GOALS


Compare: https://github.com/RIOT-OS/RIOT/compare/f9a3bdf1a749...4e5de1b789fe
      **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