diff --git a/Makefile b/Makefile index 6882d41c052ff42c589c5f8c08a37d05cd8df921..5780313393e2b6282309a2a7fe7e6cc9679a17e7 100644 --- a/Makefile +++ b/Makefile @@ -85,6 +85,10 @@ ifeq ($(MAKECMDGOALS),rocksdbjavastaticrelease) DEBUG_LEVEL=0 endif +ifeq ($(MAKECMDGOALS),rocksdbjavastaticreleasedocker) + DEBUG_LEVEL=0 +endif + ifeq ($(MAKECMDGOALS),rocksdbjavastaticpublish) DEBUG_LEVEL=0 endif