From 212695449b47949f06a83c072c51d9770761d161 Mon Sep 17 00:00:00 2001
From: Krisjanis Rijnieks <krisjanis.rijnieks@gmail.com>
Date: Tue, 15 May 2018 22:35:56 +0200
Subject: [PATCH] Attempt to fix kill make after timeout

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

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