| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/pub/RunPubJob.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/pub/RunPubJob.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/pub/RunPubJob.java
|
| index 9f8c4640d24c9ec8c924919a38c9db1df13ad3f0..d5e428b5ab33efdd1a5a35595b8f5d447ce59026 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/pub/RunPubJob.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/pub/RunPubJob.java
|
| @@ -2,6 +2,7 @@ package com.google.dart.tools.core.pub;
|
|
|
| import com.google.dart.engine.sdk.DirectoryBasedDartSdk;
|
| import com.google.dart.tools.core.DartCore;
|
| +import com.google.dart.tools.core.DartCoreDebug;
|
| import com.google.dart.tools.core.MessageConsole;
|
| import com.google.dart.tools.core.dart2js.ProcessRunner;
|
| import com.google.dart.tools.core.model.DartSdkManager;
|
| @@ -131,6 +132,9 @@ public class RunPubJob extends Job {
|
|
|
| List<String> args = new ArrayList<String>();
|
| args.add(pubFile.getAbsolutePath());
|
| + if (DartCoreDebug.NO_PUB_PACKAGES) {
|
| + args.add("--no-package-symlinks");
|
| + }
|
| if (command.contains(" ")) {
|
| String[] strings = command.split(" ");
|
| args.addAll(Arrays.asList(strings));
|
|
|