| OLD | NEW |
| 1 # Copyright (c) 2015, the Fletch project authors. Please see the AUTHORS file | 1 # Copyright (c) 2015, the Dartino project authors. Please see the AUTHORS file |
| 2 # for details. All rights reserved. Use of this source code is governed by a | 2 # for details. All rights reserved. Use of this source code is governed by a |
| 3 # BSD-style license that can be found in the LICENSE.md file. | 3 # BSD-style license that can be found in the LICENSE.md file. |
| 4 | 4 |
| 5 BOARD="stm32756g_eval" | 5 BOARD="stm32756g_eval" |
| 6 STLINK="stlink-v2-1" | 6 STLINK="stlink-v2-1" |
| 7 ROOT="$(dirname $(dirname $(dirname $(follow_links $0))))" | 7 ROOT="$(dirname $(dirname $(dirname $(follow_links $0))))" |
| 8 OS="`uname`" | 8 OS="`uname`" |
| 9 case $OS in | 9 case $OS in |
| 10 'Linux') | 10 'Linux') |
| 11 OS='linux' | 11 OS='linux' |
| (...skipping 58 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 70 esac | 70 esac |
| 71 done | 71 done |
| 72 | 72 |
| 73 if [ -z "$OPENOCDHOME" ]; then | 73 if [ -z "$OPENOCDHOME" ]; then |
| 74 OPENOCDHOME="$ROOT/third_party/openocd/$OS/openocd/" | 74 OPENOCDHOME="$ROOT/third_party/openocd/$OS/openocd/" |
| 75 fi | 75 fi |
| 76 | 76 |
| 77 if [ -z "$GDB" ]; then | 77 if [ -z "$GDB" ]; then |
| 78 GDB=arm-none-eabi-gdb | 78 GDB=arm-none-eabi-gdb |
| 79 fi | 79 fi |
| OLD | NEW |