Chromium Code Reviews| Index: tools/dom/scripts/go.sh |
| diff --git a/tools/dom/scripts/go.sh b/tools/dom/scripts/go.sh |
| index c5c98b48c31e039ad37de2a5009b6a6f9226c3fc..f4c06e128c364402d741d463a4b8a22824d19661 100755 |
| --- a/tools/dom/scripts/go.sh |
| +++ b/tools/dom/scripts/go.sh |
| @@ -36,6 +36,13 @@ if [[ "$1" == "--cached" ]] ; then |
| shift |
| fi |
| + |
| +BLINK_PARSER= |
| +if [[ "$1" == "--blink-parser" ]] ; then |
| + BLINK_PARSER="--blink-parser --logging=40" |
| + shift |
| +fi |
| + |
| ALLSYSTEMS="htmldart2js,htmldartium" |
| SYSTEMS="$ALLSYSTEMS" |
| @@ -49,6 +56,7 @@ if [[ $CACHED ]] ; then |
| --update-dom-metadata --use-blink |
| else |
| reset && |
| - ./dartdomgenerator.py --rebuild --parallel --systems="$SYSTEMS" \ |
| +# ./dartdomgenerator.py --rebuild --parallel --systems="$SYSTEMS" \ |
|
vsm
2014/09/03 22:23:41
delete?
terry
2014/09/05 20:22:55
Done.
|
| + ./dartdomgenerator.py --rebuild --systems="$SYSTEMS" $BLINK_PARSER \ |
| --update-dom-metadata --use-blink |
| fi |