Index: tools/dom/scripts/go.sh |
diff --git a/tools/dom/scripts/go.sh b/tools/dom/scripts/go.sh |
index a830a9b7d99efe98c03ee2f8dcdc313a0d05f9bf..99c4e72377a4feff26531041ec331c8ed6f84e19 100755 |
--- a/tools/dom/scripts/go.sh |
+++ b/tools/dom/scripts/go.sh |
@@ -20,6 +20,12 @@ set -x |
# |
# ./go.sh dart2js,htmldartium |
# |
+# To re-gen all sdk/lib files (outside of a Dartium enlistment the file |
+# 'sdk/lib/js/cached_patches.dart' might not need to be generated). To run |
+# go.sh w/o the patches files used --no-cached-patches switch e.g., |
+# |
+# ./go.sh --no-cached-patches |
+# |
# The following gives a picture of the changes due to 'work' |
# |
# git checkout master # select client without changes |
@@ -33,8 +39,20 @@ ALLSYSTEMS="htmldart2js,htmldartium,_blink" |
SYSTEMS="$ALLSYSTEMS" |
if [[ "$1" != "" ]] ; then |
- SYSTEMS="$1" |
+ if [[ "$1" =~ ^-- ]]; then |
+ ARG_OPTION="$1" |
+ else |
+ SYSTEMS="$1" |
+ fi |
+fi |
+ |
+if [[ "$2" != "" ]] ; then |
+ if [[ "$2" =~ ^-- ]]; then |
+ ARG_OPTION="$2" |
+ else |
+ SYSTEMS="$2" |
+ fi |
fi |
reset && \ |
-./dartdomgenerator.py --systems="$SYSTEMS" --logging=40 --update-dom-metadata --gen-interop |
+./dartdomgenerator.py --systems="$SYSTEMS" --logging=40 --update-dom-metadata --gen-interop "$ARG_OPTION" |