From 17b44b3df7e6da83f87ede1f63ad66495c902ac1 Mon Sep 17 00:00:00 2001 From: Krisjanis Rijnieks Date: Wed, 16 May 2018 14:12:50 +0200 Subject: [PATCH] Try to use timelimit instead of timeout --- scripts/ci/rpi/build-script.sh | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/scripts/ci/rpi/build-script.sh b/scripts/ci/rpi/build-script.sh index 6ee9505..649d0c9 100644 --- a/scripts/ci/rpi/build-script.sh +++ b/scripts/ci/rpi/build-script.sh @@ -2,12 +2,10 @@ echo "Begin build-script.sh" -sudo apt-get -y install timeout +sudo apt-get -y install timelimit cd /home/pi/openFrameworks/addons/ofxPiMapper/example_basic -kill -l -which timeout -timeout --version -/usr/bin/timeout --signal=SIGKILL 10 make -j $(nproc) + +timelimit -s KILL 10 make -j $(nproc) echo "End build-script.sh"