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 |
new file mode 100755 |
index 0000000000000000000000000000000000000000..f3568123e9135213a5f24503c2e262ba61e0c1a7 |
--- /dev/null |
+++ b/platform_tools/ios/bin/ios_path_exists |
@@ -0,0 +1,15 @@ |
+#!/bin/bash |
+ |
+# Fail-fast if anything in the script fails. |
+set -e |
+ |
+SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" |
+source $SCRIPT_DIR/ios_setup.sh |
+ |
+if [[ "$#" -ne "1" ]]; then |
+ echo "Usage: ios_path_exists <path_in_Documents_folder_of_ios_device>" |
+ exit 1 |
+fi |
+ |
+RET=ios_path_exists $1 |
+exit $RET |