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 18 matching lines...) Expand all Loading... |
29 # git checkout work # select client with changes | 29 # git checkout work # select client with changes |
30 # ./go.sh | 30 # ./go.sh |
31 # meld ../generated0 ../generated # compare directories with too | 31 # meld ../generated0 ../generated # compare directories with too |
32 | 32 |
33 CACHED= | 33 CACHED= |
34 if [[ "$1" == "--cached" ]] ; then | 34 if [[ "$1" == "--cached" ]] ; then |
35 CACHED=1 | 35 CACHED=1 |
36 shift | 36 shift |
37 fi | 37 fi |
38 | 38 |
39 ALLSYSTEMS="dart2js,dummy,htmldart2js,htmldartium" | 39 ALLSYSTEMS="htmldart2js,htmldartium" |
40 SYSTEMS="$ALLSYSTEMS" | 40 SYSTEMS="$ALLSYSTEMS" |
41 | 41 |
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 else | 49 else |
50 reset && | 50 reset && |
51 ./fremontcutbuilder.py && | 51 ./fremontcutbuilder.py && |
52 ./dartdomgenerator.py --systems="$SYSTEMS" | 52 ./dartdomgenerator.py --systems="$SYSTEMS" |
53 fi | 53 fi |
OLD | NEW |