diff options
author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2021-08-03 16:38:12 +0000 |
---|---|---|
committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2021-08-03 16:38:12 +0000 |
commit | 9d856fac00b111e01109373655f3e6079d1e6e18 (patch) | |
tree | 0e19f65d36685c34265a40ea1264507efe0b20e9 | |
parent | c38d999c307ab7a9e3b97502e28aaa68a339b545 (diff) |
... to avoid benchmarking getting stuck (e.g., when built with GCC-7
or earlier). Coremark executes within in about 15s.
-rwxr-xr-x | scripts/execute.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/execute.sh b/scripts/execute.sh index 6d284c9..b1d4ba9 100755 --- a/scripts/execute.sh +++ b/scripts/execute.sh @@ -14,4 +14,4 @@ arm semihosting_cmdline $* resume EOF -sudo openocd -d0 -s /usr/local/share/openocd -f scripts/board/$board.cfg -f /tmp/runocd.cfg +sudo timeout 60s openocd -d0 -s /usr/local/share/openocd -f scripts/board/$board.cfg -f /tmp/runocd.cfg |