Index: utils/pub/io.dart |
diff --git a/utils/pub/io.dart b/utils/pub/io.dart |
index 84d01bc0fe4c925bad2bd0db19786c665ac6da1e..a5246c2911c75f6a7b01b075637b1ce5781b9c05 100644 |
--- a/utils/pub/io.dart |
+++ b/utils/pub/io.dart |
@@ -333,13 +333,15 @@ Future<List<int>> consumeInputStream(InputStream stream) { |
* piped streams won't be available in the result object. |
*/ |
Future<PubProcessResult> runProcess(String executable, List<String> args, |
- [workingDir, bool pipeStdout = false, bool pipeStderr = false]) { |
+ [workingDir, Map<String, String> environment, bool pipeStdout = false, |
+ bool pipeStderr = false]) { |
int exitCode; |
final options = new ProcessOptions(); |
if (workingDir != null) { |
options.workingDirectory = _getDirectory(workingDir).path; |
} |
+ options.environment = environment; |
final process = Process.start(executable, args, options); |