make/launcher/LauncherCommon.gmk
changeset 51853 ec62d6cab037
parent 51825 e3632b4706c4
child 51855 8bbb5cbac92c
--- a/make/launcher/LauncherCommon.gmk	Mon Sep 24 13:05:59 2018 -0400
+++ b/make/launcher/LauncherCommon.gmk	Mon Sep 24 19:26:48 2018 +0200
@@ -152,6 +152,7 @@
       CFLAGS_linux := -fPIC, \
       CFLAGS_solaris := -KPIC -DHAVE_GETHRTIME, \
       CFLAGS_windows := $$($1_CFLAGS_windows), \
+      DISABLED_WARNINGS_gcc := unused-function, \
       LDFLAGS := $$(LDFLAGS_JDKEXE) \
           $$(call SET_EXECUTABLE_ORIGIN) \
           $$($1_LDFLAGS), \