type emulator begins to run
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
This commit is contained in:
parent
6d75016139
commit
74dc5b96cb
2 changed files with 6 additions and 3 deletions
|
|
@ -29,6 +29,7 @@ def shell_run_or_debug_fail(script, *args, **kargs):
|
|||
# and sh -c -e does not exit if /bin/false called
|
||||
args[0][:0] = [ "/bin/sh", "-e" ]
|
||||
|
||||
remote = False
|
||||
if "remote_prefix" in kargs:
|
||||
remote = True
|
||||
args[0][:0] = kargs["remote_prefix"]
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue