[riot-commits] [RIOT-OS/RIOT] 78b98b: debugging: fix openocd closing when pressing Ctrl+...

Oleg Hahm oleg at hobbykeller.org
Mon Aug 31 23:44:10 CEST 2015


  Branch: refs/heads/master
  Home:   https://github.com/RIOT-OS/RIOT
  Commit: 78b98b3b1cbb6a7c6cff21177f6316a6e7e23ed5
      https://github.com/RIOT-OS/RIOT/commit/78b98b3b1cbb6a7c6cff21177f6316a6e7e23ed5
  Author: daniel-k <github at daniel-krebs.net>
  Date:   2015-08-29 (Sat, 29 Aug 2015)

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

  Log Message:
  -----------
  debugging: fix openocd closing when pressing Ctrl+C in GDB, fix #3427


  Commit: 6b41a5fd31d01cfbc43c3bcb9c573e2c4d32609d
      https://github.com/RIOT-OS/RIOT/commit/6b41a5fd31d01cfbc43c3bcb9c573e2c4d32609d
  Author: Oleg Hahm <oleg at hobbykeller.org>
  Date:   2015-08-31 (Mon, 31 Aug 2015)

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

  Log Message:
  -----------
  Merge pull request #3619 from daniel-k/fix/openocd-closing-ctrl-c

debugging: fix openocd closing when pressing Ctrl+C in GDB, fix #3427


Compare: https://github.com/RIOT-OS/RIOT/compare/170fa70d9eaa...6b41a5fd31d0


More information about the commits mailing list