diff options
-rw-r--r-- | Makefile.in | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Makefile.in b/Makefile.in index f86d4749d..40ffbc523 100644 --- a/Makefile.in +++ b/Makefile.in @@ -208,10 +208,10 @@ copy-sources.gcc: version.ads $(CP) -p $(srcdir)/src/ortho/gcc/*.opt $(gcc_vhdl_dir) base_ver=`cat $(gcc_src_dir)/gcc/BASE-VER`; \ case $$base_ver in \ - 4.9*) gcc_ortho_lang=ortho-lang-49.c ;; \ - 5.*) gcc_ortho_lang=ortho-lang-5.c ;; \ - 6.*) gcc_ortho_lang=ortho-lang-6.c ;; \ - 7.*) gcc_ortho_lang=ortho-lang-7.c ;; \ + 4.9*) gcc_ortho_lang=ortho-lang-49.c ;; \ + 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 ;; \ *) echo "Mismatch gcc version from $(gcc_src_dir)"; \ echo "Need gcc version 4.9.x, 5.x, 6.x or 7.x"; \ exit 1 ;; \ |