diff options
| -rw-r--r-- | lib/Solver/Solver.cpp | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/lib/Solver/Solver.cpp b/lib/Solver/Solver.cpp index abff5743..abe88db7 100644 --- a/lib/Solver/Solver.cpp +++ b/lib/Solver/Solver.cpp @@ -28,6 +28,7 @@ #include <map> #include <vector> +#include <errno.h> #include <signal.h> #include <sys/wait.h> #include <sys/ipc.h> @@ -611,9 +612,13 @@ static bool runAndGetCexForked(::VC vc, _exit(res); } else { int status; - int res = waitpid(pid, &status, 0); + pid_t res; + + do { + res = waitpid(pid, &status, 0); + } while (res < 0 && errno == EINTR); - if (res<0) { + if (res < 0) { fprintf(stderr, "error: waitpid() for STP failed"); return false; } |