diff options
-rw-r--r-- | editors/code/src/run.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/run.ts b/editors/code/src/run.ts index 5c790741f..bb060cfe1 100644 --- a/editors/code/src/run.ts +++ b/editors/code/src/run.ts | |||
@@ -110,7 +110,7 @@ export function createTask(runnable: ra.Runnable): vscode.Task { | |||
110 | switch (runnable.kind) { | 110 | switch (runnable.kind) { |
111 | case "cargo": command = toolchain.getPathForExecutable("cargo"); | 111 | case "cargo": command = toolchain.getPathForExecutable("cargo"); |
112 | } | 112 | } |
113 | const args = runnable.args.cargoArgs; | 113 | const args = [...runnable.args.cargoArgs]; // should be a copy! |
114 | if (runnable.args.executableArgs.length > 0) { | 114 | if (runnable.args.executableArgs.length > 0) { |
115 | args.push('--', ...runnable.args.executableArgs); | 115 | args.push('--', ...runnable.args.executableArgs); |
116 | } | 116 | } |