run_cmd: semihosting can be explicitly disabled via the 'enable_semihosting' option#1948

RobertRostohar merged 1 commit intopyocd:developpyocd/pyOCD:developfrom

DavidLesnjak:run_cmd_semihostDavidLesnjak/pyOCD:run_cmd_semihostCopy head branch name to clipboard