| OLD | NEW |
| 1 #!/bin/bash | 1 #!/bin/bash |
| 2 | 2 |
| 3 # Copyright (c) 2015, the Fletch project authors. Please see the AUTHORS file | 3 # Copyright (c) 2015, the Dartino project authors. Please see the AUTHORS file |
| 4 # for details. All rights reserved. Use of this source code is governed by a | 4 # for details. All rights reserved. Use of this source code is governed by a |
| 5 # BSD-style license that can be found in the LICENSE.md file. | 5 # BSD-style license that can be found in the LICENSE.md file. |
| 6 | 6 |
| 7 set -eu | 7 set -eu |
| 8 | 8 |
| 9 THIS_DIR=$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd) | 9 THIS_DIR=$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd) |
| 10 ROOT_DIR=$(cd "$THIS_DIR/../.." && pwd) | 10 ROOT_DIR=$(cd "$THIS_DIR/../.." && pwd) |
| 11 | 11 |
| 12 TEST_PY="$ROOT_DIR/tools/test.py" | 12 TEST_PY="$ROOT_DIR/tools/test.py" |
| 13 | 13 |
| (...skipping 44 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 58 else | 58 else |
| 59 print_error "unsupplied target" | 59 print_error "unsupplied target" |
| 60 fi | 60 fi |
| 61 | 61 |
| 62 if [[ "$TARGET" == "cc" ]]; then | 62 if [[ "$TARGET" == "cc" ]]; then |
| 63 build | 63 build |
| 64 $OUT_DIR/simple_todo_sample $OUT_DIR/simple_todo.snapshot | 64 $OUT_DIR/simple_todo_sample $OUT_DIR/simple_todo.snapshot |
| 65 else | 65 else |
| 66 print_error "unknown target '$TARGET'" | 66 print_error "unknown target '$TARGET'" |
| 67 fi | 67 fi |
| OLD | NEW |