Index: platform_tools/ios/bin/ios_path_exists |
diff --git a/platform_tools/ios/bin/ios_path_exists b/platform_tools/ios/bin/ios_path_exists |
index 06794eec3d6fe178a68f5655d65f254f5c0605da..72c11fb6098e45c3ffffdd067f08028f7c828b76 100755 |
--- a/platform_tools/ios/bin/ios_path_exists |
+++ b/platform_tools/ios/bin/ios_path_exists |
@@ -9,6 +9,9 @@ |
# |
# Check if ios path exists. |
# |
+ |
+set -x -e |
+ |
SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" |
source $SCRIPT_DIR/ios_setup.sh |