| Index: tools/dom/scripts/go.sh
|
| diff --git a/tools/dom/scripts/go.sh b/tools/dom/scripts/go.sh
|
| index efb01b61183c5261026603318cf25a0ef33aba02..91e2c266c86b7d38c4deb438aa9f8515d9cbc044 100755
|
| --- a/tools/dom/scripts/go.sh
|
| +++ b/tools/dom/scripts/go.sh
|
| @@ -49,6 +49,6 @@ if [[ $CACHED ]] ; then
|
| --update-dom-metadata
|
| else
|
| reset &&
|
| - ./dartdomgenerator.py --rebuild --parallel --systems="$SYSTEMS" \
|
| - --update-dom-metadata
|
| + ./dartdomgenerator.py --rebuild --systems="$SYSTEMS" --blink-parser \
|
| + --logging=40 --update-dom-metadata
|
| fi
|
|
|