Send SIGTERM (15) instead of kill (9) for timelimit

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