Index: platform_tools/ios/bin/ios_ninja |
diff --git a/platform_tools/ios/bin/ios_ninja b/platform_tools/ios/bin/ios_ninja |
new file mode 100755 |
index 0000000000000000000000000000000000000000..f14cc05a99f34a4a8eacde5db679f94ed38dd4cb |
--- /dev/null |
+++ b/platform_tools/ios/bin/ios_ninja |
@@ -0,0 +1,14 @@ |
+#!/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 |
+ |
+OLD_DIR=`pwd` |
+cd ${SKIA_SRC_DIR} |
borenet
2015/04/21 13:50:12
why not:
pushd ${SKIA_SRC_DIR}
...
popd
?
stephana-chromium
2015/04/21 15:06:53
Done. I had some unfounded reservations about usin
|
+"${SKIA_SRC_DIR}/gyp_skia" |
+xcodebuild -project "$SKIA_SRC_DIR/out/gyp/iOSShell.xcodeproj"\ |
+ -configuration "$BUILDTYPE" |
+cd $OLD_DIR |