Add some programs into workspace.gpr

PB10-027
2026-02-12 12:29:46 -08:00 · 2016-11-11 09:36:43 +06:00
parent 3c348b3913
commit 78bf0ba3fd
1 changed files with 1 additions and 1 deletions
--- a/workspace/workspace.gpr
+++ b/workspace/workspace.gpr
@@ -19,5 +19,5 @@
 with "aws";

 project Workspace is
-
+   for Main use ("ssl_version.adb", "max_poll_size.adb");
 end Workspace;