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 |