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 |