Rename fletch -> dartino

platforms/stm/bin/build.sh

Index: platforms/stm/bin/build.sh
diff --git a/platforms/stm/bin/build.sh b/platforms/stm/bin/build.sh
index dfe1fd73b206ef9532cc9de13ef89e0eae0495a4..09ea2d15b0b56d307e801e048130d61a656d2449 100755
--- a/platforms/stm/bin/build.sh
+++ b/platforms/stm/bin/build.sh
@@ -43,7 +43,7 @@ PROG_NAME="$(follow_links "$BASH_SOURCE")"
 
 ### TODO(sgjesse): Maybe source this part
 
-# Handle the case where fletch-sdk/bin has been symlinked to.
+# Handle the case where dartino-sdk/bin has been symlinked to.
 SCRIPT_DIR="$(cd "${PROG_NAME%/*}" ; pwd -P)"
 
 # Root of the Dartino SDK, that is, $SCRIPT_DIR/../../...
@@ -52,11 +52,11 @@ DARTINO_SDK_DIR="$(dirname "$DARTINO_SDK_DIR")"
 DARTINO_SDK_DIR="$(dirname "$DARTINO_SDK_DIR")"
 DARTINO_SDK_DIR="$(dirname "$DARTINO_SDK_DIR")"
 
-# Location of the GCC ARM embedded toolchain in the Fletch SDK.
+# Location of the GCC ARM embedded toolchain in the Dartino SDK.
 TOOLCHAIN_DIR="$DARTINO_SDK_DIR/tools/gcc-arm-embedded"
 
 # Location of the Dartino executable.
-DARTINO="$DARTINO_SDK_DIR/bin/fletch"
+DARTINO="$DARTINO_SDK_DIR/bin/dartino"
 
 # Location of the static libraries to link with.
 LIB_DIR="$DARTINO_SDK_DIR/platforms/stm32f746g-discovery/lib"
@@ -78,13 +78,13 @@ if [ ! -d "$TOOLCHAIN_DIR" ]; then
   TOOLCHAIN_DIR="$DARTINO_CHECKOUT_DIR/third_party/gcc-arm-embedded/$OS/gcc-arm-embedded"
 
   # Use release dartinu command in a Dartino SDK Github checkout.
-  DARTINO="$DARTINO_CHECKOUT_DIR/out/ReleaseX64/fletch"
+  DARTINO="$DARTINO_CHECKOUT_DIR/out/ReleaseX64/dartino"
 
   # Location of the static libraries to link with.
   LIB_DIR="$DARTINO_CHECKOUT_DIR/out/ReleaseSTM"
 
   # The linker script to use.
-  LINKER_SCRIPT="$DARTINO_CHECKOUT_DIR/platforms/stm/disco_fletch/generated/SW4STM32/configuration/STM32F746NGHx_FLASH.ld"
+  LINKER_SCRIPT="$DARTINO_CHECKOUT_DIR/platforms/stm/disco_dartino/generated/SW4STM32/configuration/STM32F746NGHx_FLASH.ld"
 
   BUILD_DIR="$DARTINO_CHECKOUT_DIR/out/DebugSTM"
 fi
@@ -92,10 +92,10 @@ fi
 ### TODO(sgjesse): End of maybe source this part
 
 # The static libraries to link with.
-LIB1="$LIB_DIR/libfletch_vm_library.a"
-LIB2="$LIB_DIR/libfletch_shared.a"
+LIB1="$LIB_DIR/libdartino_vm_library.a"
+LIB2="$LIB_DIR/libdartino_shared.a"
 LIB3="$LIB_DIR/libdouble_conversion.a"
-LIB4="$LIB_DIR/libdisco_fletch.a"
+LIB4="$LIB_DIR/libdisco_dartino.a"
 
 # Paths to to gcc and objcopy.
 TOOLCHAIN_PREFIX="$TOOLCHAIN_DIR/bin/arm-none-eabi-"