[riot-commits] [RIOT-OS/RIOT] 8c0120: makefiles/info-global.inc.mk: bug: handle FEATURES...

Juan I Carrano noreply at github.com
Wed Aug 21 17:51:44 CEST 2019


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

  Changed paths:
    M makefiles/info-global.inc.mk

  Log Message:
  -----------
  makefiles/info-global.inc.mk: bug: handle FEATURES_CONFLICT value

The value must be saved from the original value to allow restoring it.

This has currently no impact on 'info-boards-supported' as it is
currently ignored.


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

  Changed paths:
    M makefiles/info-global.inc.mk

  Log Message:
  -----------
  Merge pull request #12041 from cladmi/pr/makefiles/info_global/features_conflict

makefiles/info-global.inc.mk: bug: handle FEATURES_CONFLICT value


Compare: https://github.com/RIOT-OS/RIOT/compare/e7957e6d9b62...dcc20d705409


More information about the commits mailing list