mirror of https://gitee.com/Nocallback/dejagnu.git
Browse Source
If the board file defines "exec_shell", prepend it before the local or remote command.farm
committed by
Jacob Bachmeyer
1 changed files with 13 additions and 0 deletions
Loading…
Reference in new issue