diff options
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 479a6d46f..7e119a05c 100644 --- a/Makefile.in +++ b/Makefile.in @@ -217,7 +217,7 @@ copy-sources.gcc: version.ads 5.*) gcc_ortho_lang=ortho-lang-5.c ;; \ 6 | 6.*) gcc_ortho_lang=ortho-lang-6.c ;; \ 7.*) gcc_ortho_lang=ortho-lang-7.c ;; \ - 8.*) gcc_ortho_lang=ortho-lang-7.c ;; \ + 8.*) gcc_ortho_lang=ortho-lang-8.c ;; \ *) echo "Mismatch gcc version from $(gcc_src_dir)"; \ echo "Need gcc version 4.9.x, 5.x, 6.x, 7.x or 8.x"; \ exit 1 ;; \ |