diff options
Diffstat (limited to '.ci')
| -rw-r--r-- | .ci/utils/mutex_hardware.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.ci/utils/mutex_hardware.py b/.ci/utils/mutex_hardware.py index 563ec5b1a..5e16c86fb 100644 --- a/.ci/utils/mutex_hardware.py +++ b/.ci/utils/mutex_hardware.py @@ -36,8 +36,8 @@ def jtag_x3xx(jtag_args, redis_server): jtag_host.run(vivado_program_jtag + " " + os.path.join(remote_working_dir, os.path.basename(fpga_path)) + " " + jtag_serial) - print("Waiting 15 seconds for device to come back up", flush=True) - time.sleep(15) + print("Waiting 15 seconds for device to come back up and for Vivado to close", flush=True) + time.sleep(15) def main(args): |