| Index: platform_tools/ios/bin/ios_push_file
|
| diff --git a/platform_tools/ios/bin/ios_push_file b/platform_tools/ios/bin/ios_push_file
|
| index 263b7c0a63f9c76ae8f3b7614308a365ce66846a..504f0ccb0ae198546ca4ac3dec81a238af31a677 100755
|
| --- a/platform_tools/ios/bin/ios_push_file
|
| +++ b/platform_tools/ios/bin/ios_push_file
|
| @@ -5,9 +5,10 @@
|
| # Use of this source code is governed by a BSD-style license that can be
|
| # found in the LICENSE file.
|
| ###############################################################################
|
| -
|
| -# Fail-fast if anything in the script fails.
|
| -set -e
|
| +#
|
| +# Copies a single file from the host to the device.
|
| +#
|
| +set -x -e
|
|
|
| SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
|
| source $SCRIPT_DIR/ios_setup.sh
|
|
|