Searched refs:DEFAULT_LINKSERVER_SEMIHOST_PORT (Results 1 – 1 of 1) sorted by relevance
20 DEFAULT_LINKSERVER_SEMIHOST_PORT = 8888 variable30 semihost_port=DEFAULT_LINKSERVER_SEMIHOST_PORT,83 parser.add_argument('--semihost-port', default=DEFAULT_LINKSERVER_SEMIHOST_PORT,