Merge pull request #469 from kirikaza/fix_final_sigterm

scripts: build.sh exits without being killed by SIGTERM
13 years ago · bb3ec537c5
parent f786e97c86 678eb38e18
commit bb3ec537c5
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