Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'editors/code/src/tasks.ts')
| -rw-r--r-- | editors/code/src/tasks.ts | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/editors/code/src/tasks.ts b/editors/code/src/tasks.ts index 89abb37b0e..00b644d5cc 100644 --- a/editors/code/src/tasks.ts +++ b/editors/code/src/tasks.ts @@ -8,7 +8,7 @@ import { log } from "./util"; export const TASK_TYPE = "cargo"; export const TASK_SOURCE = "rust"; -export interface RustTargetDefinition extends vscode.TaskDefinition { +export interface CargoTaskDefinition extends vscode.TaskDefinition { program: string; args: string[]; cwd?: string; @@ -62,7 +62,7 @@ class RustTaskProvider implements vscode.TaskProvider { // we need to inform VSCode how to execute that command by creating // a ShellExecution for it. - const definition = task.definition as RustTargetDefinition; + const definition = task.definition as CargoTaskDefinition; if (definition.type === TASK_TYPE) { return await buildRustTask( @@ -80,7 +80,7 @@ class RustTaskProvider implements vscode.TaskProvider { export async function buildRustTask( scope: vscode.WorkspaceFolder | vscode.TaskScope | undefined, - definition: RustTargetDefinition, + definition: CargoTaskDefinition, name: string, problemMatcher: string[], customRunner?: string, |