From 4940892fad6e64b207fc15d9600736c7f3e42b7d Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Thu, 28 Jul 2022 18:15:55 +0200
Subject: options.adb: -Werror=X enables warning X.

---
 src/options.adb | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

diff --git a/src/options.adb b/src/options.adb
index 019817ca3..0bff712b9 100644
--- a/src/options.adb
+++ b/src/options.adb
@@ -83,6 +83,7 @@ package body Options is
       then
          for I in Msgid_Warnings loop
             if Warning_Image (I) = Opt (Opt'First + 6 .. Opt'Last) then
+               Enable_Warning (I, True);
                Warning_Error (I, Val);
                return Option_Ok;
             end if;
-- 
cgit v1.2.3