Merge pull request #469 from kirikaza/fix_final_sigterm

scripts: build.sh exits without being killed by SIGTERM
2013-09-28 00:37:44 -07:00 · 2013-09-28 00:37:44 -07:00 · dc5fd1cc17
parent 2da011f46c ace8109867
commit dc5fd1cc17
1 changed files with 3 additions and 0 deletions
--- a/scripts/build.sh
+++ b/scripts/build.sh
@ -92,3 +92,6 @@ for PLUGIN in $(find ./plugin -mindepth 1 -maxdepth 1 -type d); do
 done

 waitAll
+
+# Reset signal trapping to avoid "Terminated: 15" at the end
+trap - SIGINT SIGTERM EXIT