Skip to content

Commit d3bce4e

Browse files
Merge branch 'topic/issue_#1125' into 'master'
Use gprclean in clean task in VS Code extension Closes #1125 See merge request eng/ide/ada_language_server!1177
2 parents e1bf297 + e51684f commit d3bce4e

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

integration/vscode/ada/src/gnatTaskProvider.ts

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -150,7 +150,7 @@ const knownTaskKinds: { [id: string]: TaskProperties } = {
150150
title: 'Check current file',
151151
},
152152
cleanProject: {
153-
command: commonArgs(['gprbuild']), // No -cargs -gnatef is accepted by gprclean
153+
command: commonArgs(['gprclean']), // No -cargs -gnatef is accepted by gprclean
154154
extra: undefined,
155155
title: 'Clean current project',
156156
},

0 commit comments

Comments
 (0)