diff options
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index dd7c6b822..ac1c93794 100644 --- a/Makefile.in +++ b/Makefile.in @@ -228,8 +228,9 @@ copy-sources.gcc: version.ads 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.*) 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 or 8.x"; \ + echo "Need gcc version 4.9.x, 5.x, 6.x, 7.x, 8.x or 9.x"; \ exit 1 ;; \ esac; \ $(CP) -p $(srcdir)/src/ortho/gcc/$$gcc_ortho_lang \ |