Rename fletch -> dartino

src/shared/platform_lk.h

 // Copyright (c) 2015, the Dartino project authors. Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE.md file.
 
 #ifndef SRC_SHARED_PLATFORM_LK_H_
 #define SRC_SHARED_PLATFORM_LK_H_
 
 #ifndef SRC_SHARED_PLATFORM_H_
 #error Do not include platform_lk.h directly; use platform.h instead.
 #endif
 
-#if defined(FLETCH_TARGET_OS_LK)
+#if defined(DARTINO_TARGET_OS_LK)
 
 #include <err.h>
 #include <kernel/thread.h>
 #include <kernel/semaphore.h>
 
 #include "src/shared/globals.h"
 
 #define CHECK_AND_RETURN(expr)             \
   {                                        \
     int status = expr;                     \
     if (status != NO_ERROR) return status; \
   }
 #define CHECK_AND_FAIL(expr)          \
   {                                   \
     int status = expr;                \
     if (status != NO_ERROR) {         \
       FATAL("System call failed.\n"); \
     }                                 \
   }
 
-namespace fletch {
+namespace dartino {
 
 // Forward declare [Platform::GetMicroseconds].
 namespace Platform {
 uint64 GetMicroseconds();
 }  // namespace Platform
 
 class MutexImpl {
  public:
   MutexImpl() { mutex_init(&mutex_); }
   ~MutexImpl() { mutex_destroy(&mutex_); }
@@ skipping 136 matching lines @@
     return true;
   }
 
   mutex_t mutex_;
   mutex_t internal_;
 
   WaitListEntry* first_waiting_;
   WaitListEntry* last_waiting_;
 };
 
-}  // namespace fletch
+}  // namespace dartino
 
-#endif  // defined(FLETCH_TARGET_OS_LK)
+#endif  // defined(DARTINO_TARGET_OS_LK)
 
 #endif  // SRC_SHARED_PLATFORM_LK_H_