Use object filename (cacheName + extension) + ".info".
Note that object filename .info is filename for storing the cache info.
Change-Id: Ifba81465f2153973b7079683b292327710672273
diff --git a/lib/ExecutionEngine/Script.h b/lib/ExecutionEngine/Script.h
index bb4ace3..7fe3e03 100644
--- a/lib/ExecutionEngine/Script.h
+++ b/lib/ExecutionEngine/Script.h
@@ -98,9 +98,9 @@
inline std::string getCacheInfoPath() const {
#if USE_OLD_JIT
- return std::string(mCacheDir + mCacheName + ".oBCC");
+ return getCachedObjectPath().append(".oBCC");
#elif USE_MCJIT
- return std::string(mCacheDir + mCacheName + ".info");
+ return getCachedObjectPath().append(".info");
#endif
}
#endif