1 files changed, 14 insertions, 0 deletions
diff --git a/contrib/restricted/wavm/Lib/ObjectCache/ObjectCache.cpp b/contrib/restricted/wavm/Lib/ObjectCache/ObjectCache.cpp
new file mode 100644
index 00000000000..69a5ccb716e
--- /dev/null
+++ b/contrib/restricted/wavm/Lib/ObjectCache/ObjectCache.cpp
@@ -0,0 +1,14 @@
+#include "WAVM/ObjectCache/ObjectCache.h"
+
+#include <cstdlib>
+
+using namespace WAVM;
+using namespace WAVM::ObjectCache;
+
+OpenResult ObjectCache::open(const char* path,
+							 Uptr maxBytes,
+							 U64 codeKey,
+							 std::shared_ptr<Runtime::ObjectCacheInterface>& outObjectCache)
+{
+	std::abort();
+}