Specify SIGINT for thimeout operation to quit make on time

7 years ago · 87f7b49c36
1 changed files with 2 additions and 1 deletions
--- 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"