Rename fletch -> dartino

tools/lk/embed_program_in_binary.sh

Index: tools/lk/embed_program_in_binary.sh
diff --git a/tools/lk/embed_program_in_binary.sh b/tools/lk/embed_program_in_binary.sh
index ff2726436d2cb7915807964aea7db109429ddee6..448037c0df0a525b76deb0148b2df274f176b148 100755
--- a/tools/lk/embed_program_in_binary.sh
+++ b/tools/lk/embed_program_in_binary.sh
@@ -1,15 +1,15 @@
 #!/bin/bash
 
 function usage {
-  echo "Usage: $0 [--fletch <fletch binary directory>] <elf-file>"
+  echo "Usage: $0 [--dartino <dartino binary directory>] <elf-file>"
   echo "         <snapshot-file> <symbol-name>"
   echo
   echo "This will generate an object file <symbol-name> that can be linked"
   echo "against the original <elf-file> and adds the following symbols:"
   echo
-  echo "  __fletch__<symbol-name>_heap_start"
-  echo "  __fletch__<symbol-name>_heap_end"
-  echo "  __fletch__<symbol-name>_heap_size"
+  echo "  __dartino__<symbol-name>_heap_start"
+  echo "  __dartino__<symbol-name>_heap_end"
+  echo "  __dartino__<symbol-name>_heap_size"
   echo
   echo "for the program heap."
   echo
@@ -23,8 +23,8 @@ fi
 
 while [ $# -gt 3 ]; do
   case $1 in
-    --fletch | -f)
-      FLETCHHOME="$2/"
+    --dartino | -f)
+      DARTINOHOME="$2/"
       shift 2
       ;;
     --help | -h)
@@ -48,8 +48,8 @@ if [ ! -e $2 ]; then
   exit 1
 fi
 
-if [ ! -e "${FLETCHHOME}flashtool" ]; then
-  echo "Cannot find flashtool relocator. Use --fletch to set fletch path..."
+if [ ! -e "${DARTINOHOME}flashtool" ]; then
+  echo "Cannot find flashtool relocator. Use --dartino to set dartino path..."
   exit 1
 fi
 
@@ -61,9 +61,9 @@ if [ -z "$SNAPSHOT" ]; then
   echo
   echo ".snapshot ALIGN(4096) :"
   echo "{                                                                   "
-  echo "    __fletch_program_heap_start = .;                                "
+  echo "    __dartino_program_heap_start = .;                                "
   echo "    KEEP(*(.snapshot))                                              "
-  echo "    __fletch_program_heap_end = .;                                  "
+  echo "    __dartino_program_heap_end = .;                                  "
   echo "}                                                                   "
   exit 1
 fi
@@ -74,18 +74,18 @@ PARTS=($SNAPSHOT)
 ADDRESS=0x${PARTS[3]}
 echo "Found .snapshot section at $ADDRESS..."
 
-TEMPDIR=$(mktemp -d fletchflash.XXX)
-mkdir ${TEMPDIR}/fletch
+TEMPDIR=$(mktemp -d dartinoflash.XXX)
+mkdir ${TEMPDIR}/dartino
 
 echo "Generating output in $TEMPDIR..."
 
-${FLETCHHOME}flashtool $INTRINSICS $2 ${ADDRESS} ${TEMPDIR}/fletch/programheap.bin
+${DARTINOHOME}flashtool $INTRINSICS $2 ${ADDRESS} ${TEMPDIR}/dartino/programheap.bin
 
-(cd ${TEMPDIR}; arm-none-eabi-objcopy --rename-section .data=.snapshot --redefine-sym _binary_fletch_programheap_bin_start=__fletch_${3}_heap_start --redefine-sym _binary_fletch_programheap_bin_end=__fletch_${3}_heap_end --redefine-sym _binary_fletch_programheap_bin_size=__fletch_${3}_heap_size -I binary -B armv4t -O elf32-littlearm fletch/programheap.bin fletch/programheap.o)
+(cd ${TEMPDIR}; arm-none-eabi-objcopy --rename-section .data=.snapshot --redefine-sym _binary_dartino_programheap_bin_start=__dartino_${3}_heap_start --redefine-sym _binary_dartino_programheap_bin_end=__dartino_${3}_heap_end --redefine-sym _binary_dartino_programheap_bin_size=__dartino_${3}_heap_size -I binary -B armv4t -O elf32-littlearm dartino/programheap.bin dartino/programheap.o)
 
-arm-none-eabi-ld -r ${TEMPDIR}/fletch/programheap.o -o ${3}.o
+arm-none-eabi-ld -r ${TEMPDIR}/dartino/programheap.o -o ${3}.o
 
-(cd ${TEMPDIR}; rm fletch/*; rmdir fletch)
+(cd ${TEMPDIR}; rm dartino/*; rmdir dartino)
 rmdir ${TEMPDIR}
 
 echo "Written output to ${3}.o..."