From 3c01ca2ea173262f9265dab59a9132eea2dee884 Mon Sep 17 00:00:00 2001
From: Krisjanis Rijnieks <krisjanis.rijnieks@gmail.com>
Date: Thu, 17 May 2018 14:31:26 +0200
Subject: [PATCH] Send SIGTERM (15) instead of kill (9) for timelimit

---
 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 d809d16..c11bb11 100644
--- a/scripts/ci/rpi/build-script.sh
+++ b/scripts/ci/rpi/build-script.sh
@@ -3,7 +3,8 @@
 echo "Begin build-script.sh"
 
 date
-timelimit -t 2300 make -j $(nproc) -C /home/pi/openFrameworks/addons/ofxPiMapper/example_basic
+timelimit -S 15 -t 2200 make -j $(nproc) -C /home/pi/openFrameworks/addons/ofxPiMapper/example_basic
 date
+sleep 10
 
 echo "End build-script.sh"