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 if [ "$1" == "-m" ]; then | 6 if [ "$1" == "-m" ]; then |
7 DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd ) | 7 DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd ) |
8 (cd ${DIR}/../../third_party/lk; make -j4 DEBUG=1) | 8 (cd ${DIR}/../../third_party/lk; make -j4 DEBUG=1) |
9 shift | 9 shift |
10 fi | 10 fi |
11 | 11 |
12 if [ "$1" == "-h" ]; then | 12 if [ "$1" == "-h" ]; then |
(...skipping 69 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
82 fi | 82 fi |
83 if [[ "$line" =~ "CRASH: starting debug shell..."* ]]; then | 83 if [[ "$line" =~ "CRASH: starting debug shell..."* ]]; then |
84 exit 253; | 84 exit 253; |
85 fi | 85 fi |
86 done < $PIPEDIR/qemu.out | 86 done < $PIPEDIR/qemu.out |
87 | 87 |
88 read -r line< $PIPEDIR/qemu.out | 88 read -r line< $PIPEDIR/qemu.out |
89 echo "$line" | 89 echo "$line" |
90 | 90 |
91 exit ${line:11:-1} | 91 exit ${line:11:-1} |
OLD | NEW |