diff options
Diffstat (limited to 'executor')
| -rw-r--r-- | executor/executor.cc | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/executor/executor.cc b/executor/executor.cc index 5f19c079f..3b4d93eba 100644 --- a/executor/executor.cc +++ b/executor/executor.cc @@ -1222,8 +1222,6 @@ void thread_mmap_cover(thread_t* th) { if (th->cov.data != NULL) return; - if (!flag_delay_kcov_mmap) - fail("out of mmapped kcov threads"); cover_mmap(&th->cov); cover_protect(&th->cov); } |