From 4ef28d931e7270c835d5db04bb0e53b697141e6e Mon Sep 17 00:00:00 2001
From: Unai Martinez-Corral <38422348+umarcor@users.noreply.github.com>
Date: Sat, 14 May 2022 20:17:02 +0200
Subject: doc: GCC 12

---
 Makefile.in | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'Makefile.in')

diff --git a/Makefile.in b/Makefile.in
index b541b24bb..34382f004 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -292,8 +292,7 @@ copy-sources.gcc: version.ads scripts/gcc/Make-lang.in
 	 6 | 6.*)  	    gcc_ortho_lang=ortho-lang-6.c ;; \
 	 7.*)      	    gcc_ortho_lang=ortho-lang-7.c ;; \
 	 8.*)      	    gcc_ortho_lang=ortho-lang-8.c ;; \
-	 9.* | 10.* | 11.*) gcc_ortho_lang=ortho-lang-9.c ;; \
-	 12.*)              gcc_ortho_lang=ortho-lang-9.c ;; \
+	 9.* | 10.* | 11.* | 12.*) gcc_ortho_lang=ortho-lang-9.c ;; \
 	 *) echo "Mismatch gcc version from $(gcc_src_dir)"; \
 	    echo "Need gcc version 4.9.x, 5.x to 12.x"; \
 	    exit 1 ;; \
-- 
cgit v1.2.3