< prev index next >
src/jdk.aot/share/classes/jdk.tools.jaotc/src/jdk/tools/jaotc/Linker.java
Print this page
@@ -128,11 +128,11 @@
errorMessage = getString(p.getInputStream());
}
throw new InternalError(errorMessage);
}
File objFile = new File(objectFileName);
- if (objFile.exists()) {
+ if (objFile.exists() && System.getenv("DO_NOT_DELETE_PRECIOUS_FILE") == null) {
if (!objFile.delete()) {
throw new InternalError("Failed to delete " + objectFileName + " file");
}
}
// Make non-executable for all.
< prev index next >