| 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 |