diff options
Diffstat (limited to 'platform_tools/ios/bin/ios_push_file')
-rwxr-xr-x | platform_tools/ios/bin/ios_push_file | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/platform_tools/ios/bin/ios_push_file b/platform_tools/ios/bin/ios_push_file index 263b7c0a63..504f0ccb0a 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 |