Chromium Code Reviews| 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 |