Index: tools/dartium/generate_patches.sh |
diff --git a/tools/dartium/generate_patches.sh b/tools/dartium/generate_patches.sh |
index 40dc895e4cee259d2ed43bd830ee2d3c8f094e4d..11c73b8d21e5b2b207cc2545bca4378ca0a15d2a 100755 |
--- a/tools/dartium/generate_patches.sh |
+++ b/tools/dartium/generate_patches.sh |
@@ -26,17 +26,17 @@ set -x |
# build Dartium, run this script and build Dartium again with the newly |
# generated patches. |
-LOCATION_DARTIUM="../../../out/Release" |
-DARTIUM="$LOCATION_DARTIUM" |
+if [[ "$1" != "" ]] ; then |
+ DARTIUM="$1" |
+else |
+ LOCATION_DARTIUM="../../../out/Release" |
+ DARTIUM="$LOCATION_DARTIUM" |
+fi |
DART_APP_LOCATION="file://"$PWD"/generate_app/generate_cached_patches.html" |
DARTIUM_ARGS=" --user-data-dir=out --disable-web-security --no-sandbox --enable-blink-features=dartGenCachedPatches" |
CACHED_PATCHES_FILE=""$PWD"/../../sdk/lib/js/dartium/cached_patches.dart" |
-if [[ "$1" != "" ]] ; then |
- DARTIM="$1" |
-fi |
- |
cmd=""$DARTIUM"/chrome "$DARTIUM_ARGS" "$DART_APP_LOCATION" | |
(sed -n '/START_OF_CACHED_PATCHES/,/END_OF_CACHED_PATCHES/p') > "$CACHED_PATCHES_FILE"" |