diff --git a/Makefile b/Makefile index a21dd96ab752260511aaf4deafa2e8bca6ae6e91..03f12cec5f199212a03f9f5947f22ae555cd303d 100644 --- a/Makefile +++ b/Makefile @@ -328,7 +328,7 @@ coverage: # Delete intermediate files find . -type f -regex ".*\.\(\(gcda\)\|\(gcno\)\)" -exec rm {} \; -check: $(TESTS) ldb +check: $(TESTS) $(PROGRAMS) for t in $(TESTS); do echo "***** Running $$t"; ./$$t || exit 1; done python tools/ldb_test.py