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 |