| 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"
|
|
|