[riot-commits] [RIOT-OS/RIOT] 23d743: dist/tools/buildsystem_sanity_check: check no PORT...

Juan I Carrano noreply at github.com
Thu Sep 12 16:39:09 CEST 2019


  Branch: refs/heads/master
  Home:   https://github.com/RIOT-OS/RIOT
  Commit: 23d743926c7212390926cbbdcde48be5f02e99fe
      https://github.com/RIOT-OS/RIOT/commit/23d743926c7212390926cbbdcde48be5f02e99fe
  Author: Gaëtan Harter <gaetan.harter at fu-berlin.de>
  Date:   2019-09-12 (Thu, 12 Sep 2019)

  Changed paths:
    M dist/tools/buildsystem_sanity_check/check.sh

  Log Message:
  -----------
  dist/tools/buildsystem_sanity_check: check no PORT exports

Add sanity check for removed exports.


  Commit: 6570a9b31f5953ac623a67646eed131dbac9e991
      https://github.com/RIOT-OS/RIOT/commit/6570a9b31f5953ac623a67646eed131dbac9e991
  Author: Juan I Carrano <j.carrano at fu-berlin.de>
  Date:   2019-09-12 (Thu, 12 Sep 2019)

  Changed paths:
    M dist/tools/buildsystem_sanity_check/check.sh

  Log Message:
  -----------
  Merge pull request #12209 from cladmi/pr/buildsystem_sanity_check/port_not_exported

dist/tools/buildsystem_sanity_check: check no PORT exports


Compare: https://github.com/RIOT-OS/RIOT/compare/bf2aaa1a5d6b...6570a9b31f59


More information about the commits mailing list