diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2024-05-17 12:48:07 +0200 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2024-05-17 11:26:58 +0000 |
| commit | a12e99e74dfc7cbe54720d8383cec46aaf024a28 (patch) | |
| tree | 1f53d3842efba0b71cea49b4948c0c24450e47f9 /executor/common.h | |
| parent | e09a60f8522234ba7968e421dd9d2e6d86af69db (diff) | |
pkg/csource: remove the Repro option
Enable it unconditionally.
Diffstat (limited to 'executor/common.h')
| -rw-r--r-- | executor/common.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/executor/common.h b/executor/common.h index bfe6c76a7..9f130ca94 100644 --- a/executor/common.h +++ b/executor/common.h @@ -553,10 +553,8 @@ static void execute_one(void) static void loop(void) #endif { -#if SYZ_REPRO if (write(1, "executing program\n", sizeof("executing program\n") - 1)) { } -#endif #if SYZ_TRACE fprintf(stderr, "### start\n"); #endif |
