# HG changeset patch
# User wenzelm
# Date 1457550685 -3600
# Node ID 590df5f4e531fb3e938f8acfa2bba62edbeb1931
# Parent  ec382bc689e5990f2b353fe9c49c388bf8b0ede8
ignore SIGINT in waiting wrapper process;
proper "bash_process.c" and "build" within component;

diff -r ec382bc689e5 -r 590df5f4e531 Admin/bash_process/bash_process.c
--- a/Admin/bash_process/bash_process.c	Wed Mar 09 19:52:17 2016 +0100
+++ b/Admin/bash_process/bash_process.c	Wed Mar 09 20:11:25 2016 +0100
@@ -3,6 +3,7 @@
 Bash process with separate process group id.
 */
 
+#include <signal.h>
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
@@ -56,6 +57,12 @@
     else if (pid != 0) {
       int status;
 
+      // ingore SIGINT
+      struct sigaction sa;
+      memset(&sa, 0, sizeof(sa));
+      sa.sa_handler = SIG_IGN;
+      sigaction(SIGINT, &sa, 0);
+
       if (waitpid(pid, &status, 0) == -1) {
         fail("Cannot join forked process");
       }
diff -r ec382bc689e5 -r 590df5f4e531 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Wed Mar 09 19:52:17 2016 +0100
+++ b/Admin/components/components.sha1	Wed Mar 09 20:11:25 2016 +0100
@@ -1,5 +1,6 @@
 fbe83b522cb37748ac1b3c943ad71704fdde2f82  bash_process-1.1.1.tar.gz
 bb9ef498cd594b4289221b96146d529c899da209  bash_process-1.1.tar.gz
+81250148f8b89ac3587908fb20645081d7f53207  bash_process-1.2.1.tar.gz
 9e21f447bfa0431ae5097301d553dd6df3c58218  bash_process-1.2.tar.gz
 70105fd6fbfd1a868383fc510772b95234325d31  csdp-6.x.tar.gz
 2f6417b8e96a0e4e8354fe0f1a253c18fb55d9a7  cvc3-2.4.1.tar.gz
diff -r ec382bc689e5 -r 590df5f4e531 Admin/components/main
--- a/Admin/components/main	Wed Mar 09 19:52:17 2016 +0100
+++ b/Admin/components/main	Wed Mar 09 20:11:25 2016 +0100
@@ -1,5 +1,5 @@
 #main components for everyday use, without big impact on overall build time
-bash_process-1.2
+bash_process-1.2.1
 csdp-6.x
 cvc4-1.5pre-3
 e-1.8