diff options
Diffstat (limited to 'src/libmain')
-rw-r--r-- | src/libmain/shared.cc | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/libmain/shared.cc b/src/libmain/shared.cc index d9cf9a86262a..d48e2ad69655 100644 --- a/src/libmain/shared.cc +++ b/src/libmain/shared.cc @@ -31,6 +31,11 @@ static void sigintHandler(int signo) } +static void sigalrmHandler(int signo) +{ +} + + Path makeRootName(const Path & gcRoot, int & counter) { counter++; @@ -160,6 +165,14 @@ static void initAndRun(int argc, char * * argv) if (sigaction(SIGPIPE, &act, 0)) throw SysError("ignoring SIGPIPE"); + /* Catch SIGALRM with an empty handler (we just need it to get an + EINTR from blocking system calls). */ + act.sa_handler = sigalrmHandler; + sigfillset(&act.sa_mask); + act.sa_flags = 0; + if (sigaction(SIGALRM, &act, 0)) + throw SysError("installing handler for SIGALRM"); + /* Reset SIGCHLD to its default. */ act.sa_handler = SIG_DFL; act.sa_flags = 0; |