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 |