mirror of https://github.com/facebook/rocksdb.git
[Java] rename 'make jni' to 'make rocksdbjava'
This commit is contained in:
parent
4daea66343
commit
ca4fa2047e
2
Makefile
2
Makefile
|
@ -426,7 +426,7 @@ ROCKSDBJNILIB = ./java/librocksdbjni.jnilib
|
||||||
JAVA_INCLUDE = -I/System/Library/Frameworks/JavaVM.framework/Headers/
|
JAVA_INCLUDE = -I/System/Library/Frameworks/JavaVM.framework/Headers/
|
||||||
endif
|
endif
|
||||||
|
|
||||||
jni: clean
|
rocksdbjava: clean
|
||||||
OPT="-fPIC -DNDEBUG -O2" $(MAKE) $(LIBRARY) -j32
|
OPT="-fPIC -DNDEBUG -O2" $(MAKE) $(LIBRARY) -j32
|
||||||
cd java;$(MAKE) java;
|
cd java;$(MAKE) java;
|
||||||
rm -f $(ROCKSDBJNILIB)
|
rm -f $(ROCKSDBJNILIB)
|
||||||
|
|
Loading…
Reference in New Issue