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 32 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
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 else | 49 else |
50 reset && | 50 reset && |
51 ./dartdomgenerator.py --rebuild --parallel --systems="$SYSTEMS" | 51 ./dartdomgenerator.py --rebuild --parallel --systems="$SYSTEMS" |
52 fi | 52 fi |
OLD | NEW |