| OLD | NEW |
| (Empty) | |
| 1 import 'dart:async'; |
| 2 import 'dart:io'; |
| 3 import 'package:path/path.dart' as path; |
| 4 |
| 5 Future launchDart2Js(args, |
| 6 {bool noStdoutEncoding: false}) { |
| 7 String basePath = path.fromUri(Platform.script); |
| 8 while (path.basename(basePath) != 'sdk') { |
| 9 basePath = path.dirname(basePath); |
| 10 } |
| 11 String dart2jsPath = path.normalize( |
| 12 path.join(basePath, 'pkg/compiler/lib/src/dart2js.dart')); |
| 13 List allArgs = []; |
| 14 if (Platform.packageRoot != null) { |
| 15 allArgs.add('--package-root=${Platform.packageRoot}'); |
| 16 } else if (Platform.packageConfig != null) { |
| 17 allArgs.add('--packages=${Platform.packageConfig}'); |
| 18 } |
| 19 allArgs.add(dart2jsPath); |
| 20 allArgs.addAll(args); |
| 21 if (noStdoutEncoding) { |
| 22 return Process.run(Platform.executable, allArgs, stdoutEncoding: null); |
| 23 } else { |
| 24 return Process.run(Platform.executable, allArgs); |
| 25 } |
| 26 } |
| 27 |
| OLD | NEW |