From 87f7b49c3689cf1c17446de73211e9cf7f20ae51 Mon Sep 17 00:00:00 2001
From: Krisjanis Rijnieks <krisjanis.rijnieks@gmail.com>
Date: Wed, 16 May 2018 01:28:18 +0200
Subject: [PATCH] Specify SIGINT for thimeout operation to quit make on time

---
 scripts/ci/rpi/build-script.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/scripts/ci/rpi/build-script.sh b/scripts/ci/rpi/build-script.sh
index 707eaf5..6f2b48a 100644
--- a/scripts/ci/rpi/build-script.sh
+++ b/scripts/ci/rpi/build-script.sh
@@ -3,6 +3,7 @@
 echo "Begin build-script.sh"
 
 cd /home/pi/openFrameworks/addons/ofxPiMapper/example_basic
-timeout -k 30m make -j $(nproc)
+timeout --version
+timeout --signal=INT 30m make -j $(nproc)
 
 echo "End build-script.sh"