| 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 24 matching lines...) Expand all Loading... |
| 37 PID=$! | 37 PID=$! |
| 38 | 38 |
| 39 while ! nc -vz localhost 3333; do | 39 while ! nc -vz localhost 3333; do |
| 40 sleep 0.1 | 40 sleep 0.1 |
| 41 done | 41 done |
| 42 | 42 |
| 43 $GDB $1 --eval-command="tar remote :3333" \ | 43 $GDB $1 --eval-command="tar remote :3333" \ |
| 44 --eval-command="mon reset halt" | 44 --eval-command="mon reset halt" |
| 45 | 45 |
| 46 kill $PID | 46 kill $PID |
| OLD | NEW |