From 678eb38e184f9b4506d7941f5b2225c59ef2a8d7 Mon Sep 17 00:00:00 2001
From: Kirill Kazakov <k@kirikaza.ru>
Date: Fri, 27 Sep 2013 14:27:47 +0400
Subject: [PATCH] scripts: build.sh exits without being killed by SIGTERM

---
 scripts/build.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scripts/build.sh b/scripts/build.sh
index 8ba8d3d4f..d8243eac7 100755
--- 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