diff options
Diffstat (limited to 'src/build')
| -rwxr-xr-x | src/build/citest/autocitest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/build/citest/autocitest b/src/build/citest/autocitest index 5e8829057..9d952bbc3 100755 --- a/src/build/citest/autocitest +++ b/src/build/citest/autocitest @@ -335,6 +335,7 @@ while [ $(($modsstarted)) -lt 1 -o $(($modsstarted)) -ne $(($modscompleted)) ]; if [ "$loopcount" -gt 60 ]; then echo "ERROR: timed out after 5 minutes" + autosim $NOWIN --simcmd "hb-Ps" timeout=$(($modsstarted - $modscompleted)) break fi |
