diff --git a/Makefile b/Makefile index ecfd2b320..b9de37e23 100644 --- a/Makefile +++ b/Makefile @@ -519,6 +519,7 @@ check: all echo "===== Running $$t"; ./$$t || exit 1; done; \ fi rm -rf $(TMPD) + python tools/ldb_test.py sh tools/rocksdb_dump_test.sh check_some: $(SUBSET) ldb_tests