From 1bd51bf8c6adfb77c2bf572f9c38ca4439dc9a6b Mon Sep 17 00:00:00 2001 From: sharkcz Date: Thu, 30 Jan 2020 06:26:46 +0100 Subject: update for gcc10 (#1119) * update for gcc10 * update GCC docs for the upcoming version 10 --- Makefile.in | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'Makefile.in') diff --git a/Makefile.in b/Makefile.in index ac53824f6..9a6b1731a 100644 --- a/Makefile.in +++ b/Makefile.in @@ -248,8 +248,9 @@ copy-sources.gcc: version.ads 7.*) gcc_ortho_lang=ortho-lang-7.c ;; \ 8.*) gcc_ortho_lang=ortho-lang-8.c ;; \ 9.*) gcc_ortho_lang=ortho-lang-9.c ;; \ + 10.*) gcc_ortho_lang=ortho-lang-9.c ;; \ *) echo "Mismatch gcc version from $(gcc_src_dir)"; \ - echo "Need gcc version 4.9.x, 5.x, 6.x, 7.x, 8.x or 9.x"; \ + echo "Need gcc version 4.9.x, 5.x, 6.x, 7.x, 8.x, 9.x or 10.x"; \ exit 1 ;; \ esac; \ $(CP) -p $(srcdir)/src/ortho/gcc/$$gcc_ortho_lang \ -- cgit v1.2.3