diff --git a/seL4-platforms/builds.py b/seL4-platforms/builds.py index 97e8164e..267f9e9c 100644 --- a/seL4-platforms/builds.py +++ b/seL4-platforms/builds.py @@ -451,8 +451,8 @@ def mq_run(success_str: str, def mq_lock(machine: str) -> List[str]: - """Get lock for a machine.""" - return ['time', 'mq.sh', 'sem', '-wait', machine, '-k', job_key()] + """Get lock for a machine. Allow lock to be reclaimed after 15min.""" + return ['time', 'mq.sh', 'sem', '-wait', machine, '-k', job_key(), '-T', '900'] def mq_release(machine: str) -> List[str]: