]> git-server-git.apps.pok.os.sepia.ceph.com Git - rocksdb.git/commitdiff
Set DEBUG_LEVEL=0 for RocksJava Mac Release (#4040)
authorAdam Retter <adam.retter@googlemail.com>
Fri, 22 Jun 2018 17:49:11 +0000 (10:49 -0700)
committerSagar Vemuri <svemuri@fb.com>
Fri, 29 Jun 2018 19:41:43 +0000 (12:41 -0700)
Summary:
Closes https://github.com/facebook/rocksdb/issues/2717
Closes https://github.com/facebook/rocksdb/pull/4040

Differential Revision: D8592058

Pulled By: sagar0

fbshipit-source-id: d01099a1067aa32659abb0b4bed641d919a3927e

Makefile

index 5d0092d11e6e4a5349ee714dc8a00a43517e8697..db6099b67a0f7f3dc6dd698a647d6faea40f9969 100644 (file)
--- 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