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