From ef022ef72c0b8f4f9a37c7bd637e1e5c84749305 Mon Sep 17 00:00:00 2001 From: Alam Ed Arias Date: Thu, 8 Aug 2019 22:34:09 -0400 Subject: [PATCH] Makefile: GCC80 does not exist (cherry picked from commit eacf89e309d555bda78ed69945a7d995e56a3292) --- src/Makefile.cfg | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Makefile.cfg b/src/Makefile.cfg index 3bd4749e..a3baeedd 100644 --- a/src/Makefile.cfg +++ b/src/Makefile.cfg @@ -235,7 +235,7 @@ ifdef GCC71 WFLAGS+=-Wno-implicit-fallthrough WFLAGS+=-Wno-format-truncation endif -ifdef GCC80 +ifdef GCC81 WFLAGS+=-Wno-error=format-overflow WFLAGS+=-Wno-error=stringop-truncation WFLAGS+=-Wno-error=stringop-overflow