| OLD | NEW |
| 1 #!/bin/bash -x | 1 #!/bin/bash -x |
| 2 # | 2 # |
| 3 # go.sh [--cached] [systems] | 3 # go.sh [--cached] [systems] |
| 4 # | 4 # |
| 5 # Convenience script to generate systems. Do not call from build steps or tests | 5 # Convenience script to generate systems. Do not call from build steps or tests |
| 6 # - call fremontcutbuilder and dartdomgenerator instead. Do not add 'real' | 6 # - call fremontcutbuilder and dartdomgenerator instead. Do not add 'real' |
| 7 # functionality here - change the python code instead. | 7 # functionality here - change the python code instead. |
| 8 # | 8 # |
| 9 # I find it essential to generate all the systems so I know if I am breaking | 9 # I find it essential to generate all the systems so I know if I am breaking |
| 10 # other systems. My habit is to run: | 10 # other systems. My habit is to run: |
| (...skipping 31 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 42 if [[ "$1" != "" ]] ; then | 42 if [[ "$1" != "" ]] ; then |
| 43 SYSTEMS="$1" | 43 SYSTEMS="$1" |
| 44 fi | 44 fi |
| 45 | 45 |
| 46 if [[ $CACHED ]] ; then | 46 if [[ $CACHED ]] ; then |
| 47 reset && | 47 reset && |
| 48 ./dartdomgenerator.py --use-database-cache --systems="$SYSTEMS" \ | 48 ./dartdomgenerator.py --use-database-cache --systems="$SYSTEMS" \ |
| 49 --update-dom-metadata | 49 --update-dom-metadata |
| 50 else | 50 else |
| 51 reset && | 51 reset && |
| 52 ./dartdomgenerator.py --rebuild --parallel --systems="$SYSTEMS" \ | 52 ./dartdomgenerator.py --rebuild --systems="$SYSTEMS" --blink-parser \ |
| 53 --update-dom-metadata | 53 --logging=40 --update-dom-metadata |
| 54 fi | 54 fi |
| OLD | NEW |