OLD | NEW |
1 #!/bin/bash | 1 #!/bin/bash |
2 ############################################################################### | 2 ############################################################################### |
3 # Copyright 2015 Google Inc. | 3 # Copyright 2015 Google Inc. |
4 # | 4 # |
5 # Use of this source code is governed by a BSD-style license that can be | 5 # Use of this source code is governed by a BSD-style license that can be |
6 # found in the LICENSE file. | 6 # found in the LICENSE file. |
7 ############################################################################### | 7 ############################################################################### |
8 | 8 # |
9 # Fail-fast if anything in the script fails. | 9 # Copies a single file from the host to the device. |
10 set -e | 10 # |
| 11 set -x -e |
11 | 12 |
12 SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" | 13 SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" |
13 source $SCRIPT_DIR/ios_setup.sh | 14 source $SCRIPT_DIR/ios_setup.sh |
14 | 15 |
15 HOST_PATH=$1 | 16 HOST_PATH=$1 |
16 DEVICE_PATH=$2 | 17 DEVICE_PATH=$2 |
17 | 18 |
18 ios_push $HOST_PATH $DEVICE_PATH | 19 ios_push $HOST_PATH $DEVICE_PATH |
OLD | NEW |