diff options
author | vsrs <[email protected]> | 2020-06-06 13:12:17 +0100 |
---|---|---|
committer | vsrs <[email protected]> | 2020-06-06 13:12:17 +0100 |
commit | b91fa7494ece3ca26e5797c4b23469d82b8e1322 (patch) | |
tree | 013cee71f8dc888725ff4767386f465bcee39802 /editors/code/src | |
parent | 02f7b5d7abbab829c2a0f66cdcbb6678afb412a4 (diff) |
Fix Run lens.
Diffstat (limited to 'editors/code/src')
-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 | } |