Searched refs:DEFAULT_JLINK_EXE (Results 1 – 1 of 1) sorted by relevance
28 DEFAULT_JLINK_EXE = 'JLink.exe' if sys.platform == 'win32' else 'JLinkExe' variable53 commander=DEFAULT_JLINK_EXE,135 parser.add_argument('--commander', default=DEFAULT_JLINK_EXE,
