diff options
Diffstat (limited to 'editors/code/src/cargo.ts')
-rw-r--r-- | editors/code/src/cargo.ts | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/editors/code/src/cargo.ts b/editors/code/src/cargo.ts index 50f93856d..3a7e70307 100644 --- a/editors/code/src/cargo.ts +++ b/editors/code/src/cargo.ts | |||
@@ -55,12 +55,9 @@ export class Cargo { | |||
55 | return artifacts; | 55 | return artifacts; |
56 | } | 56 | } |
57 | 57 | ||
58 | public async executableFromArgs(cargoArgs: string[], extraArgs?: string[]): Promise<string> { | 58 | public async executableFromArgs(args: string[]): Promise<string> { |
59 | let cargoArgs = [...args]; // to remain args unchanged | ||
59 | cargoArgs.push("--message-format=json"); | 60 | cargoArgs.push("--message-format=json"); |
60 | if (extraArgs) { | ||
61 | cargoArgs.push('--'); | ||
62 | cargoArgs.push(...extraArgs); | ||
63 | } | ||
64 | 61 | ||
65 | const artifacts = await this.artifactsFromArgs(cargoArgs); | 62 | const artifacts = await this.artifactsFromArgs(cargoArgs); |
66 | 63 | ||