Attempt to fix kill make after timeout

7 years ago · 212695449b
1 changed files with 1 additions and 1 deletions
--- 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"