| Index: tools/dartk_wrappers/dartk
|
| diff --git a/tools/dartk_wrappers/dartk b/tools/dartk_wrappers/dartk
|
| index 9d15f6e586369552f8bf6e5866a1f3ac0a3e1eb5..2df29ff609e4df124eb38c3f2c8a640ff2ad061d 100755
|
| --- a/tools/dartk_wrappers/dartk
|
| +++ b/tools/dartk_wrappers/dartk
|
| @@ -7,7 +7,7 @@
|
| PROG_NAME="$BASH_SOURCE"
|
| WRAPPERS_DIR="$(cd "${PROG_NAME%/*}" ; pwd -P)"
|
| DART_ROOT="$(cd "${WRAPPERS_DIR}/../.." ; pwd -P)"
|
| -DARTK="$DART_ROOT/pkg/kernel/bin/dartk.dart"
|
| +DARTK="$DART_ROOT/pkg/kernel/tool/dartk.dart"
|
|
|
| if [[ `uname` == 'Darwin' ]];
|
| then
|
|
|