| OLD | NEW |
| 1 #!/bin/bash | 1 #!/bin/bash |
| 2 # Copyright (c) 2015, the Fletch project authors. Please see the AUTHORS file | 2 # Copyright (c) 2015, the Dartino project authors. Please see the AUTHORS file |
| 3 # for details. All rights reserved. Use of this source code is governed by a | 3 # for details. All rights reserved. Use of this source code is governed by a |
| 4 # BSD-style license that can be found in the LICENSE.md file. | 4 # BSD-style license that can be found in the LICENSE.md file. |
| 5 | 5 |
| 6 function follow_links() { | 6 function follow_links() { |
| 7 file="$1" | 7 file="$1" |
| 8 while [ -h "$file" ]; do | 8 while [ -h "$file" ]; do |
| 9 # On Mac OS, readlink -f doesn't work. | 9 # On Mac OS, readlink -f doesn't work. |
| 10 file="$(readlink "$file")" | 10 file="$(readlink "$file")" |
| 11 done | 11 done |
| 12 echo "$file" | 12 echo "$file" |
| (...skipping 15 matching lines...) Expand all Loading... |
| 28 | 28 |
| 29 $OPENOCDHOME/bin/openocd \ | 29 $OPENOCDHOME/bin/openocd \ |
| 30 -f interface/${STLINK}.cfg \ | 30 -f interface/${STLINK}.cfg \ |
| 31 -f board/${BOARD}.cfg \ | 31 -f board/${BOARD}.cfg \ |
| 32 --search $OPENOCDHOME/share/openocd/scripts \ | 32 --search $OPENOCDHOME/share/openocd/scripts \ |
| 33 -c "init" \ | 33 -c "init" \ |
| 34 -c "reset halt" \ | 34 -c "reset halt" \ |
| 35 -c "flash write_image erase $1 0x8000000" \ | 35 -c "flash write_image erase $1 0x8000000" \ |
| 36 -c "reset run" \ | 36 -c "reset run" \ |
| 37 -c "shutdown" | 37 -c "shutdown" |
| OLD | NEW |