diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2016-12-16 15:36:29 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2016-12-16 15:36:29 +0100 |
| commit | 5d23ba9171e7afb86a7ac3a5eb89ece1c097d057 (patch) | |
| tree | 714d918d08312479d8caf428e52ff0e598c7ff48 /csource | |
| parent | d1b6b5b9b16ebea9394d207a8b19a84f6dc3a61d (diff) | |
executor: don't fail on ENOMEM
Diffstat (limited to 'csource')
| -rw-r--r-- | csource/common.go | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/csource/common.go b/csource/common.go index e4ed2d577..f63674724 100644 --- a/csource/common.go +++ b/csource/common.go @@ -68,7 +68,7 @@ __attribute__((noreturn)) void fail(const char* msg, ...) vfprintf(stderr, msg, args); va_end(args); fprintf(stderr, " (errno %d)\n", e); - doexit(kFailStatus); + doexit(e == ENOMEM ? kRetryStatus : kFailStatus); } #if defined(SYZ_EXECUTOR) |