diff --git a/Makefile b/Makefile index 8a341709e..8a74c8718 100644 --- a/Makefile +++ b/Makefile @@ -747,6 +747,12 @@ jtest: jdb_bench: cd java;$(MAKE) db_bench; +commit-prereq: + $(MAKE) clean && $(MAKE) all check; + $(MAKE) clean && $(MAKE) rocksdbjava; + $(MAKE) clean && USE_CLANG=1 $(MAKE) all; + $(MAKE) clean && OPT=-DROCKSDB_LITE $(MAKE) release; + # --------------------------------------------------------------------------- # Platform-specific compilation # ---------------------------------------------------------------------------