Rename fletch -> dartino

src/tools/driver/platform_linux.cc

 // 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.
 
-#if defined(FLETCH_TARGET_OS_LINUX)
+#if defined(DARTINO_TARGET_OS_LINUX)
 
 #include <string.h>
 #include <unistd.h>
 #include <sys/signalfd.h>
 #include <sys/types.h>
 #include <sys/wait.h>
 #include <errno.h>
 #include <stdlib.h>
 
 #include "src/shared/assert.h"
 
 #include "src/tools/driver/platform.h"
 
-namespace fletch {
+namespace dartino {
 
 int SignalFileDescriptor() {
   // Temporarily limit signals to a short list of white-listed signals.
   const bool limit_signals = true;
 
   sigset_t signal_mask;
   if (sigfillset(&signal_mask) == -1) {
     FATAL1("sigfillset failed: %s", strerror(errno));
   }
 
@@ skipping 66 matching lines @@
     if (sigprocmask(SIG_UNBLOCK, &signal_mask, NULL) == -1) {
       FATAL1("sigprocmask failed: %s", strerror(errno));
     }
     raise(-exit_code);
   } else {
     exit(exit_code);
   }
   UNREACHABLE();
 }
 
-}  // namespace fletch
+}  // namespace dartino
 
-#endif  // defined(FLETCH_TARGET_OS_LINUX)
+#endif  // defined(DARTINO_TARGET_OS_LINUX)