From 7b7c753344d54d395325e41d9df01717e02d6c8d Mon Sep 17 00:00:00 2001
From: Fabien Chouteau <Fabien-Chouteau@users.noreply.github.com>
Date: Tue, 19 Jul 2022 10:37:01 +0200
Subject: [PATCH] gnatcoll 22.0.0: set build mode to PROD (#570)

---
 index/gn/gnatcoll/gnatcoll-22.0.0.toml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/index/gn/gnatcoll/gnatcoll-22.0.0.toml b/index/gn/gnatcoll/gnatcoll-22.0.0.toml
index 9e1067e3..40a0a241 100644
--- a/index/gn/gnatcoll/gnatcoll-22.0.0.toml
+++ b/index/gn/gnatcoll/gnatcoll-22.0.0.toml
@@ -27,6 +27,7 @@ GNATCOLL_OS = "windows"
 
 [gpr-set-externals]
 GNATCOLL_VERSION = "22.0.0"
+GNATCOLL_BUILD_MODE = "PROD"
 
 [[depends-on]]
 libgpr = "~22.0.0"