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 |