Add -gnatef option

rocher · rocher · commit 8082a5cc43f6 · 2023-09-02T20:42:36.000+02:00
diff --git a/.settings.vscode/tasks.json b/.settings.vscode/tasks.json
@@ -6,7 +6,7 @@
       {
          "label": "Alice: Build alice",
          "type": "shell",
-         "command": "alr build --development",
+         "command": "alr build --development -- -gnatef",
          "group": {
             "kind": "build",
             "isDefault": true

Original file line number	Diff line number	Diff line change
`@@ -6,7 +6,7 @@`
`6`	`6`	`{`
`7`	`7`	`"label": "Alice: Build alice",`
`8`	`8`	`"type": "shell",`
`9`		`- "command": "alr build --development",`
	`9`	`+ "command": "alr build --development -- -gnatef",`
`10`	`10`	`"group": {`
`11`	`11`	`"kind": "build",`
`12`	`12`	`"isDefault": true`