make/lib/CoreLibraries.gmk
changeset 54053 ab7c5483df44
parent 53683 48ff68e2fe5c
child 55169 256a5cbb4439
child 58678 9cf78a70fa4f
--- a/make/lib/CoreLibraries.gmk	Mon Mar 11 11:42:57 2019 +0100
+++ b/make/lib/CoreLibraries.gmk	Mon Mar 11 12:39:51 2019 +0100
@@ -78,8 +78,6 @@
     NAME := verify, \
     OPTIMIZATION := $(LIBVERIFY_OPTIMIZATION), \
     CFLAGS := $(CFLAGS_JDKLIB), \
-    DISABLED_WARNINGS_gcc := implicit-fallthrough unused-function, \
-    DISABLED_WARNINGS_microsoft := 4244 4267, \
     LDFLAGS := $(LDFLAGS_JDKLIB) \
         $(call SET_SHARED_LIBRARY_ORIGIN), \
     LIBS_unix := -ljvm, \