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 |