commit ae307a99f2682876543a1dd019b6aeddec413914
author cgeoffroy <geoffroy.chollon@thalesgroup.com> Fri Mar 17 10:48:26 2017 +0100
committer cgeoffroy <geoffroy.chollon@thalesgroup.com> Thu Mar 23 15:35:48 2017 +0100
tree 62430808997d06ad0393576d517682d155d133ba
parent 6a5c2ec0afb49c33c123d6a16bb2190608c47704

Verifying that timeout is installed

utils/ci/check_manual_usage_example.sh

diff --git a/utils/ci/check_manual_usage_example.sh b/utils/ci/check_manual_usage_example.sh
index 6b9bc3f..2ad3d24 100755
--- a/utils/ci/check_manual_usage_example.sh
+++ b/utils/ci/check_manual_usage_example.sh
@@ -39,6 +39,12 @@
     sudo apt-get install -y screen
     screen --version | grep 'Screen version'
 fi
+if ! timeout --version; then
+    # Install coreutils for the timeout command
+    sudo apt-get update -qq -y
+    sudo apt-get install -y coreutils
+    timeout --version
+fi
 # Initial cleanup
 pkill -f 'screen -L -S sonemu' || true
 screen -wipe || true