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