make/lib/Lib-jdk.management.gmk
changeset 51853 ec62d6cab037
parent 50471 f0aeede1b855
child 53683 48ff68e2fe5c
--- a/make/lib/Lib-jdk.management.gmk	Mon Sep 24 13:05:59 2018 -0400
+++ b/make/lib/Lib-jdk.management.gmk	Mon Sep 24 19:26:48 2018 +0200
@@ -48,6 +48,7 @@
     NAME := management_ext, \
     OPTIMIZATION := $(LIBMANAGEMENT_EXT_OPTIMIZATION), \
     CFLAGS := $(CFLAGS_JDKLIB) $(LIBMANAGEMENT_EXT_CFLAGS), \
+    DISABLED_WARNINGS_clang := format-nonliteral, \
     LDFLAGS := $(LDFLAGS_JDKLIB) \
         $(call SET_SHARED_LIBRARY_ORIGIN), \
     LIBS := $(JDKLIB_LIBS), \