iOS platform scripts to be used by buildbots

platform_tools/ios/bin/ios_rm

Index: platform_tools/ios/bin/ios_rm
diff --git a/platform_tools/ios/bin/ios_rmdir b/platform_tools/ios/bin/ios_rm
similarity index 80%
rename from platform_tools/ios/bin/ios_rmdir
rename to platform_tools/ios/bin/ios_rm
index 127127341d666552841eccd292f020d47d8ac30a..dc5422b749c0e7ff45080a507591cb40cffaf253 100755
--- a/platform_tools/ios/bin/ios_rmdir
+++ b/platform_tools/ios/bin/ios_rm
@@ -5,8 +5,13 @@
 # Use of this source code is governed by a BSD-style license that can be
 # found in the LICENSE file.
 ###############################################################################
+#
+# Removes the path identified by the first argument from the directory. 
+#
+
+set -x -e 
 
 SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
 source $SCRIPT_DIR/ios_setup.sh
 
-ios_rmdir $1
+ios_rm $1