diff options
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] = {}; |