diff options
Diffstat (limited to 'executor/common_linux.h')
| -rw-r--r-- | executor/common_linux.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/executor/common_linux.h b/executor/common_linux.h index abfccdd6e..66247a952 100644 --- a/executor/common_linux.h +++ b/executor/common_linux.h @@ -1961,7 +1961,7 @@ extern unsigned long long procid; #if defined(SYZ_EXECUTOR) void reply_handshake(); -void receive_execute(bool need_prog); +void receive_execute(); void reply_execute(int status); extern uint32* output_data; extern uint32* output_pos; @@ -2030,7 +2030,7 @@ static void loop() // TODO: consider moving the read into the child. // Potentially it can speed up things a bit -- when the read finishes // we already have a forked worker process. - receive_execute(false); + receive_execute(); #endif int pid = fork(); if (pid < 0) |