diff options
| author | Greg Steuck <greg@nest.cx> | 2020-12-29 13:47:23 -0800 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-12-30 09:27:29 +0100 |
| commit | f69274a1c5d1788d91403b1ad073964ace0014a0 (patch) | |
| tree | bfef693b4e83b79974e1537a066395c7c2f5fe63 /executor | |
| parent | c49a96ad13f9244099d171ff40d412e498b0d038 (diff) | |
executor/common: repair clang complaint about bad indentation
dashboard link: https://syzkaller.appspot.com/bug?extid=38fe37bc451a42e6c9a4
Reported-by: syzbot+38fe37bc451a42e6c9a4@syzkaller.appspotmail.com
Diffstat (limited to 'executor')
| -rw-r--r-- | executor/common.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/executor/common.h b/executor/common.h index 0361fac4e..d86011223 100644 --- a/executor/common.h +++ b/executor/common.h @@ -676,8 +676,9 @@ static void loop(void) if (current_time_ms() - start < program_timeout_ms) continue; #else - if (current_time_ms() - start < /*{{{PROGRAM_TIMEOUT_MS}}}*/) + if (current_time_ms() - start < /*{{{PROGRAM_TIMEOUT_MS}}}*/) { continue; + } #endif debug("killing hanging pid %d\n", pid); kill_and_wait(pid, &status); |