Make sure we unblock all signals.
#ifdef __linux__
// Make sure we do not outlive our parent:
#ifdef __linux__
// Make sure we do not outlive our parent:
+ sigset_t mask;
+ sigset_t orig_mask;
+
+ sigemptyset (&mask);
+ if (sigprocmask(SIG_BLOCK, &mask, &orig_mask) < 0) {
+ std::perror ("sigprocmask");
+ return SIMGRID_MC_EXIT_ERROR;
+ }
+
if (prctl(PR_SET_PDEATHSIG, SIGHUP) != 0) {
std::perror("simgrid-mc");
return SIMGRID_MC_EXIT_ERROR;
if (prctl(PR_SET_PDEATHSIG, SIGHUP) != 0) {
std::perror("simgrid-mc");
return SIMGRID_MC_EXIT_ERROR;