changeset 51853 | ec62d6cab037 |
parent 51825 | e3632b4706c4 |
child 53683 | 48ff68e2fe5c |
--- a/make/lib/Lib-java.instrument.gmk Mon Sep 24 13:05:59 2018 -0400 +++ b/make/lib/Lib-java.instrument.gmk Mon Sep 24 19:26:48 2018 +0200 @@ -42,6 +42,7 @@ CFLAGS := $(CFLAGS_JDKLIB) $(LIBINSTRUMENT_CFLAGS), \ CFLAGS_debug := -DJPLIS_LOGGING, \ CFLAGS_release := -DNO_JPLIS_LOGGING, \ + DISABLED_WARNINGS_gcc := unused-function, \ EXTRA_HEADER_DIRS := java.base:libjli, \ LDFLAGS := $(LDFLAGS_JDKLIB) \ $(call SET_SHARED_LIBRARY_ORIGIN) \