From 2704037a65e9c23853302bf3463d33d513a46ecc Mon Sep 17 00:00:00 2001
From: Rohit Gupta <rohit.gupta@eurecom.fr>
Date: Fri, 30 Oct 2015 14:12:56 +0100
Subject: [PATCH] added minor options to ctr-c handler in build script
---
cmake_targets/tools/build_helper | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/cmake_targets/tools/build_helper b/cmake_targets/tools/build_helper
index e6cdd875859..d45f0fedbca 100755
--- a/cmake_targets/tools/build_helper
+++ b/cmake_targets/tools/build_helper
@@ -346,7 +346,11 @@ do
arraycounter=`expr $arraycounter - 1`
## We want to kill child process id first and then parent id's
while [ $arraycounter -ne 0 ]
- do
+ do
+ echo "first we send ctrl-c to program"
+ $SUDO kill -INT "${procid[$arraycounter]}"
+ sleep 5
+ echo "Now we force kill if that didn't work"
$SUDO kill -9 "${procid[$arraycounter]}" >/dev/null
arraycounter=`expr $arraycounter - 1`
done
--
GitLab