Rename fletch -> dartino

src/shared/platform_linux.cc

Index: src/shared/platform_linux.cc
diff --git a/src/shared/platform_linux.cc b/src/shared/platform_linux.cc
index 2c70546edb01a3f04d28f54f828c769042fd9f86..651229f40df7e511e921ab08600ddeb3c32861a8 100644
--- a/src/shared/platform_linux.cc
+++ b/src/shared/platform_linux.cc
@@ -2,7 +2,7 @@
 // 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.
 
-#if defined(FLETCH_TARGET_OS_LINUX)
+#if defined(DARTINO_TARGET_OS_LINUX)
 
 #include <errno.h>
 #include <stdlib.h>
@@ -12,7 +12,7 @@
 #include "src/shared/assert.h"
 #include "src/shared/platform.h"
 
-namespace fletch {
+namespace dartino {
 
 void GetPathOfExecutable(char* path, size_t path_length) {
   ssize_t length = readlink("/proc/self/exe", path, path_length - 1);
@@ -33,6 +33,6 @@ int Platform::GetLocalTimeZoneOffset() {
   return static_cast<int>(-timezone);
 }
 
-}  // namespace fletch
+}  // namespace dartino
 
-#endif  // defined(FLETCH_TARGET_OS_LINUX)
+#endif  // defined(DARTINO_TARGET_OS_LINUX)