From 7c923cf8d45b650c4251503c11e74653779c74c4 Mon Sep 17 00:00:00 2001
From: Dmitry Vyukov <dvyukov@google.com>
Date: Wed, 28 Mar 2018 14:42:02 +0200
Subject: sys/linux: add support for mounting filesystem images

---
 executor/test_executor_linux.cc | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'executor/test_executor_linux.cc')

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] = {};
-- 
cgit mrf-deployment