[riot-commits] [RIOT-OS/RIOT] ef13d9: tools/check: use RIOTTOOLS variable

Kaspar Schleiser kaspar at schleiser.de
Tue May 15 12:24:40 CEST 2018


  Branch: refs/heads/master
  Home:   https://github.com/RIOT-OS/RIOT
  Commit: ef13d91beddc73b6d4a5b76b506e02e8277f063f
      https://github.com/RIOT-OS/RIOT/commit/ef13d91beddc73b6d4a5b76b506e02e8277f063f
  Author: Gaƫtan Harter <gaetan.harter at fu-berlin.de>
  Date:   2018-05-14 (Mon, 14 May 2018)

  Changed paths:
    M dist/tools/coccinelle/check.sh
    M dist/tools/cppcheck/check.sh
    M dist/tools/externc/check.sh
    M dist/tools/flake8/check.sh
    M dist/tools/headerguards/check.sh
    M dist/tools/licenses/check.sh
    M dist/tools/pr_check/pr_check.sh

  Log Message:
  -----------
  tools/check: use RIOTTOOLS variable

Follow up to #9067 and part of #8821


  Commit: 33116c80d7e802527b6f02a3858d1f3101b84ad8
      https://github.com/RIOT-OS/RIOT/commit/33116c80d7e802527b6f02a3858d1f3101b84ad8
  Author: Kaspar Schleiser <kaspar at schleiser.de>
  Date:   2018-05-15 (Tue, 15 May 2018)

  Changed paths:
    M dist/tools/coccinelle/check.sh
    M dist/tools/cppcheck/check.sh
    M dist/tools/externc/check.sh
    M dist/tools/flake8/check.sh
    M dist/tools/headerguards/check.sh
    M dist/tools/licenses/check.sh
    M dist/tools/pr_check/pr_check.sh

  Log Message:
  -----------
  Merge pull request #9070 from cladmi/pr/make/riottools/tools/check

tools/check: use RIOTTOOLS variable


Compare: https://github.com/RIOT-OS/RIOT/compare/00ac6171c3a7...33116c80d7e8
      **NOTE:** This service 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