< 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 >