etc/config.*: Added gcc-7.3.0

2018-08-05 11:29:06 +01:00
parent f09f526e1e
commit d049c1b7fd
2 changed files with 6 additions and 0 deletions
--- a/etc/config.csh/settings
+++ b/etc/config.csh/settings
@ -240,6 +240,9 @@ case ThirdParty:
    case Gcc61:
        set gcc_version=gcc-6.1.0
        breaksw
+    case Gcc73:
+        set gcc_version=gcc-7.3.0
+        breaksw
    case Gcc81:
        set gcc_version=gcc-8.1.0
        breaksw