From 9d22b767b76d9777d59514275da2fd3161d840b7 Mon Sep 17 00:00:00 2001
From: Krisjanis Rijnieks <krisjanis.rijnieks@gmail.com>
Date: Wed, 16 May 2018 13:59:29 +0200
Subject: [PATCH] Try to fix timeout

---
 scripts/ci/rpi/build-script.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/scripts/ci/rpi/build-script.sh b/scripts/ci/rpi/build-script.sh
index 4c90600..6ee9505 100644
--- a/scripts/ci/rpi/build-script.sh
+++ b/scripts/ci/rpi/build-script.sh
@@ -2,10 +2,12 @@
 
 echo "Begin build-script.sh"
 
-sudo apt-get -y install coreutils
+sudo apt-get -y install timeout
 
 cd /home/pi/openFrameworks/addons/ofxPiMapper/example_basic
+kill -l
+which timeout
 timeout --version
-sudo timeout --signal=SIGKILL 10 make -j $(nproc)
+/usr/bin/timeout --signal=SIGKILL 10 make -j $(nproc)
 
 echo "End build-script.sh"