Merge remote branch 'origin/master' into edge

AdaCore · Jun 19, 2024 · 8d84d50 · 8d84d50
2 parents 39f5af4 + cdcb010
commit 8d84d50
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/integration/vscode/ada/src/taskProviders.ts b/integration/vscode/ada/src/taskProviders.ts
@@ -1049,9 +1049,8 @@ function updateToAlire(taskDef: SimpleTaskDef): SimpleTaskDef {
              * Replace the entire command with `alr build`. Ignore project and
              * scenario args because they are managed by ALIRE.
              *
-             * TODO what about -cargs:ada -gnatef ?
              */
-            args.splice(0, args.length, 'build');
+            args.splice(0, args.length, 'build', '--', '-cargs:ada', '-gnatef');
         } else if (taskDef == TASK_CLEAN_PROJECT.taskDef) {
             /**
              * Replace the entire command with `alr clean`. Ignore project and