From d122be7d9b90f4cad3905f95d9e1f4560ddde9c5 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Tue, 7 Jun 2022 04:44:51 +0200
Subject: options.adb: add commands

---
 src/options.adb | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/options.adb b/src/options.adb
index 9cf591d59..019817ca3 100644
--- a/src/options.adb
+++ b/src/options.adb
@@ -68,7 +68,7 @@ package body Options is
 
    function Option_Warning (Opt: String; Val : Boolean) return Option_State is
    begin
-      --  Handle -Werror.
+      --  Handle -Werror and -Wno-error
       if Opt = "error" then
          Warning_Error (Msgid_Warning, Val);
          for I in Msgid_Warnings loop
@@ -77,7 +77,7 @@ package body Options is
          return Option_Ok;
       end if;
 
-      --  Handle -Werror=xxx
+      --  Handle -Werror=xxx and -Wno-error=xxx
       if Opt'Length >= 6
         and then Opt (Opt'First .. Opt'First + 5) = "error="
       then
-- 
cgit v1.2.3