From ae307a99f2682876543a1dd019b6aeddec413914 Mon Sep 17 00:00:00 2001 From: cgeoffroy Date: Fri, 17 Mar 2017 10:48:26 +0100 Subject: [PATCH] Verifying that timeout is installed --- utils/ci/check_manual_usage_example.sh | 6 ++++++ 1 file changed, 6 insertions(+) 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 @@ 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 -- 2.25.1