[riot-commits] [RIOT-OS/RIOT] 3deea7: print_toolchain_versions.sh: Add make command vers...

Sebastian Meiling s at mlng.net
Mon Nov 12 14:33:16 CET 2018


  Branch: refs/heads/master
  Home:   https://github.com/RIOT-OS/RIOT
  Commit: 3deea7dfbf96e8977582e7623374bc4556fc19c7
      https://github.com/RIOT-OS/RIOT/commit/3deea7dfbf96e8977582e7623374bc4556fc19c7
  Author: Joakim NohlgÄrd <joakim.nohlgard at eistec.se>
  Date:   2018-11-12 (Mon, 12 Nov 2018)

  Changed paths:
    M dist/tools/ci/print_toolchain_versions.sh

  Log Message:
  -----------
  print_toolchain_versions.sh: Add make command version


  Commit: 0319a5658619a375653023e19ab830988587938c
      https://github.com/RIOT-OS/RIOT/commit/0319a5658619a375653023e19ab830988587938c
  Author: Sebastian Meiling <s at mlng.net>
  Date:   2018-11-12 (Mon, 12 Nov 2018)

  Changed paths:
    M dist/tools/ci/print_toolchain_versions.sh

  Log Message:
  -----------
  Merge pull request #10368 from gebart/tools/version-make

print_toolchain_versions.sh: Add make command version


Compare: https://github.com/RIOT-OS/RIOT/compare/98f42eeea8e0...0319a5658619
      **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