diff options
author | Vadzim Dambrouski <[email protected]> | 2019-12-15 17:32:13 +0000 |
---|---|---|
committer | Vadzim Dambrouski <[email protected]> | 2019-12-15 18:02:13 +0000 |
commit | a85cd6455a66ca75ba9991d91acf36f55cb74e8c (patch) | |
tree | 356d7b61e93d1aad261dba959afafc231d163441 /editors/code/src/commands | |
parent | 4e24b25c669965cf6a68c4b8e775cc83615d978a (diff) |
Add option to disable all-targets.
Can be useful in embedded.
Diffstat (limited to 'editors/code/src/commands')
-rw-r--r-- | editors/code/src/commands/cargo_watch.ts | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/editors/code/src/commands/cargo_watch.ts b/editors/code/src/commands/cargo_watch.ts index 512362eb1..45f1dd49f 100644 --- a/editors/code/src/commands/cargo_watch.ts +++ b/editors/code/src/commands/cargo_watch.ts | |||
@@ -83,7 +83,10 @@ export class CargoWatchProvider implements vscode.Disposable { | |||
83 | 83 | ||
84 | let args = | 84 | let args = |
85 | Server.config.cargoWatchOptions.command + | 85 | Server.config.cargoWatchOptions.command + |
86 | ' --all-targets --message-format json'; | 86 | ' --message-format json'; |
87 | if (Server.config.cargoWatchOptions.allTargets) { | ||
88 | args += ' --all-targets'; | ||
89 | } | ||
87 | if (Server.config.cargoWatchOptions.command.length > 0) { | 90 | if (Server.config.cargoWatchOptions.command.length > 0) { |
88 | // Excape the double quote string: | 91 | // Excape the double quote string: |
89 | args += ' ' + Server.config.cargoWatchOptions.arguments; | 92 | args += ' ' + Server.config.cargoWatchOptions.arguments; |