commit a44bd82fd03089faf2f57185c2b4c8fa48ba0ecb
author Andreas Gampe <agampe@google.com> Wed Nov 19 13:16:00 2014 -0800
committer Andreas Gampe <agampe@google.com> Wed Nov 19 13:16:00 2014 -0800
tree d92ff04583d90eacad93e667bac23a1f7ede533d
parent 32c08dc967884efbf1b1b405343994a241893242

ART: Flush and close boot marker

Temporary fix.

Change-Id: I0a54d1562eb2081362c49b7b56c1ad0584c24bf5

runtime/gc/space/image_space.cc

diff --git a/runtime/gc/space/image_space.cc b/runtime/gc/space/image_space.cc
index a67e5d8..071997f 100644
--- a/runtime/gc/space/image_space.cc
+++ b/runtime/gc/space/image_space.cc
@@ -133,6 +133,11 @@
 
   VLOG(startup) << "Creating boot start marker: " << boot_marker;
   std::unique_ptr<File> f(OS::CreateEmptyFile(boot_marker.c_str()));
+  if (f.get() != nullptr) {
+    if (f->FlushCloseOrErase() != 0) {
+      PLOG(WARNING) << "Failed to write boot marker.";
+    }
+  }
 }
 
 static bool GenerateImage(const std::string& image_filename, InstructionSet image_isa,