diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-03-28 14:42:02 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-03-30 19:51:27 +0200 |
| commit | 7c923cf8d45b650c4251503c11e74653779c74c4 (patch) | |
| tree | 4ca1b65085c4fec4c2766fe558cdf69c8aaa9457 /executor/test_executor_linux.cc | |
| parent | d47f0ed6854fcc09c5db820d4e3aed72a6074841 (diff) | |
sys/linux: add support for mounting filesystem images
Diffstat (limited to 'executor/test_executor_linux.cc')
| -rw-r--r-- | executor/test_executor_linux.cc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/executor/test_executor_linux.cc b/executor/test_executor_linux.cc index 27292ce27..d0414ae88 100644 --- a/executor/test_executor_linux.cc +++ b/executor/test_executor_linux.cc @@ -8,6 +8,12 @@ #include <sys/utsname.h> +unsigned long long procid; + +void cover_reset(thread_t*) +{ +} + extern "C" int test_copyin() { unsigned char x[4] = {}; |