| 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
|
|
|