PE_TYPE_HARDWARE
diff --git a/linux/arch.c b/linux/arch.c
index 1dfc342..7f8149c 100644
--- a/linux/arch.c
+++ b/linux/arch.c
@@ -197,13 +197,11 @@
for (;;) {
for (;;) {
pid_t pid = wait3(&status, __WNOTHREAD | __WALL | WUNTRACED, NULL);
+
LOGMSG(l_DEBUG, "PID '%d' returned with status '%d'", pid, status);
- if (pid == 0) {
- break;
- }
if (pid == -1 && errno == EINTR) {
- break;
+ continue;
}
if (pid == -1 && errno == ECHILD) {
arch_perfAnalyze(hfuzz, fuzzer, perfFd);
@@ -211,7 +209,7 @@
return;
}
if (pid == -1) {
- LOGMSG_P(l_WARN, "wait3() failed");
+ LOGMSG_P(l_FATAL, "wait3() failed");
return;
}