OLD | NEW |
1 #!/bin/bash -x | 1 #!/bin/bash -x |
2 # | 2 # |
3 # go.sh [systems] | 3 # go.sh [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 16 matching lines...) Expand all Loading... |
27 # meld ../generated0 ../generated # compare directories with too | 27 # meld ../generated0 ../generated # compare directories with too |
28 | 28 |
29 ALLSYSTEMS="htmldart2js,htmldartium" | 29 ALLSYSTEMS="htmldart2js,htmldartium" |
30 SYSTEMS="$ALLSYSTEMS" | 30 SYSTEMS="$ALLSYSTEMS" |
31 | 31 |
32 if [[ "$1" != "" ]] ; then | 32 if [[ "$1" != "" ]] ; then |
33 SYSTEMS="$1" | 33 SYSTEMS="$1" |
34 fi | 34 fi |
35 | 35 |
36 reset && \ | 36 reset && \ |
37 ./dartdomgenerator.py --systems="$SYSTEMS" --logging=40 --update-dom-metadata | 37 ./dartdomgenerator.py --systems="$SYSTEMS" --logging=40 --update-dom-metadata --
gen-interop |
OLD | NEW |