Index: src/platform-nullos.cc |
diff --git a/src/platform-nullos.cc b/src/platform-nullos.cc |
index e05345c80a3966aff84e8666c94482fb46d013ef..42799dbe7a05205a07078ecab7a69e2ac9380a1f 100644 |
--- a/src/platform-nullos.cc |
+++ b/src/platform-nullos.cc |
@@ -86,6 +86,11 @@ void OS::SetUp() { |
} |
+void OS::PostSetUp() { |
+ UNIMPLEMENTED(); |
+} |
+ |
+ |
// Returns the accumulated user time for thread. |
int OS::GetUserTime(uint32_t* secs, uint32_t* usecs) { |
UNIMPLEMENTED(); |