From 78bf0ba3fd281fe863ffb70507fa04ee2fdfdd18 Mon Sep 17 00:00:00 2001
From: Dmitriy Anisimkov <anisimko@adacore.com>
Date: Fri, 11 Nov 2016 09:36:43 +0600
Subject: [PATCH] Add some programs into workspace.gpr

PB10-027
---
 workspace/workspace.gpr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/workspace/workspace.gpr b/workspace/workspace.gpr
index e7e6d86a4..caabf084e 100644
--- 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;