Index: tools/dartk_wrappers/dfe_worker |
diff --git a/tools/dartk_wrappers/dfe_worker b/tools/dartk_wrappers/dfe_worker |
new file mode 100755 |
index 0000000000000000000000000000000000000000..a794c0e47b7ce926e428cbb348e09d76af8ee4bf |
--- /dev/null |
+++ b/tools/dartk_wrappers/dfe_worker |
@@ -0,0 +1,19 @@ |
+#!/usr/bin/env bash |
kustermann
2017/01/31 15:39:00
You can get rid of this file
|
+# Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file |
+# for details. All rights reserved. Use of this source code is governed by a |
+# BSD-style license that can be found in the LICENSE file. |
+ |
+# Unlike $0, $BASH_SOURCE points to the absolute path of this file. |
+PROG_NAME="$BASH_SOURCE" |
+WRAPPERS_DIR="$(cd "${PROG_NAME%/*}" ; pwd -P)" |
+DART_ROOT="$(cd "${WRAPPERS_DIR}/../.." ; pwd -P)" |
+DARTK="$DART_ROOT/runtime/tools/kernel-service.dart" |
+ |
+if [[ `uname` == 'Darwin' ]]; |
+then |
+ DART="$DART_ROOT/tools/sdks/mac/dart-sdk/bin/dart" |
+else |
+ DART="$DART_ROOT/tools/sdks/linux/dart-sdk/bin/dart" |
+fi |
+ |
+exec "$DART" "$DARTK" "--batch" |