Verifying that timeout is installed
authorcgeoffroy <geoffroy.chollon@thalesgroup.com>
Fri, 17 Mar 2017 09:48:26 +0000 (10:48 +0100)
committercgeoffroy <geoffroy.chollon@thalesgroup.com>
Thu, 23 Mar 2017 14:35:48 +0000 (15:35 +0100)
utils/ci/check_manual_usage_example.sh

index 6b9bc3f..2ad3d24 100755 (executable)
@@ -39,6 +39,12 @@ if ! screen --version | grep 'Screen version'; then
     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