diff -r e240625311ad -r ec62d6cab037 make/lib/Lib-java.instrument.gmk
--- 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) \