[riot-commits] [RIOT-OS/RIOT] 89fa4d: dist/tools/jlink: remove duplicated check

Francisco Acosta fco.ja.ac at gmail.com
Tue Sep 11 17:58:56 CEST 2018


  Branch: refs/heads/master
  Home:   https://github.com/RIOT-OS/RIOT
  Commit: 89fa4da4c30cdf1aa2f64c03bd21c028c7c8c14a
      https://github.com/RIOT-OS/RIOT/commit/89fa4da4c30cdf1aa2f64c03bd21c028c7c8c14a
  Author: Francisco Acosta <fco.ja.ac at gmail.com>
  Date:   2018-09-11 (Tue, 11 Sep 2018)

  Changed paths:
    M dist/tools/jlink/jlink.sh

  Log Message:
  -----------
  dist/tools/jlink: remove duplicated check


  Commit: 012535dc152b8f1eb9354de76870afe9d3cc0deb
      https://github.com/RIOT-OS/RIOT/commit/012535dc152b8f1eb9354de76870afe9d3cc0deb
  Author: Francisco Acosta <fco.ja.ac at gmail.com>
  Date:   2018-09-11 (Tue, 11 Sep 2018)

  Changed paths:
    M dist/tools/jlink/jlink.sh

  Log Message:
  -----------
  Merge pull request #9896 from kYc0o/pr/tools/jlink/remove_extra_check

jlink.sh: remove duplicated check


Compare: https://github.com/RIOT-OS/RIOT/compare/e8af06fe5f0d...012535dc152b
      **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