From e227dee9e60419b0e836487aa01c7db5993a3e83 Mon Sep 17 00:00:00 2001
From: Eric Biggers <ebiggers3@gmail.com>
Date: Fri, 30 Aug 2019 00:14:43 -0500
Subject: [PATCH] Makefile: add 'make check' target

Add the standard 'make check' target, to run some quick tests.
---
 Makefile | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/Makefile b/Makefile
index 5d4b21e..38343b4 100644
--- a/Makefile
+++ b/Makefile
@@ -284,6 +284,14 @@ uninstall:
 
 test_programs:$(TEST_PROGRAMS)
 
+# A minimal 'make check' target.  This only runs some quick tests;
+# use tools/run_tests.sh if you want to run the full tests.
+check:test_programs
+	./benchmark$(PROG_SUFFIX) < ./benchmark$(PROG_SUFFIX)
+	for prog in test_*; do		\
+		./$$prog || exit 1;	\
+	done
+
 help:
 	@echo "Available targets:"
 	@echo "------------------"