| OLD | NEW |
| (Empty) | |
| 1 #!/bin/bash |
| 2 set -e |
| 3 |
| 4 DIR=$( cd $( dirname "${BASH_SOURCE[0]}" ) && pwd ) |
| 5 |
| 6 if [[ ($DART_SDK == "") ]]; then |
| 7 echo 'DART_SDK not set, using `which dart` to guess path' |
| 8 export DART_SDK=$( cd $( dirname `which dart` )/.. && pwd ) |
| 9 echo "Found SDK at $DART_SDK" |
| 10 fi |
| 11 |
| 12 # TODO(jmesserly): this should be a package on Pub, then we can delete these |
| 13 # shell script shenanigans. |
| 14 echo "library compile_mirrors; export '$DART_SDK/pkg/dartdoc/lib/mirrors.dart';"
> $DIR/compile_mirrors.dart |
| 15 dart --checked $DIR/gen_html_setters.dart |
| OLD | NEW |