diff --git a/Makefile b/Makefile
index 2a1ba2da5..5c7bc7b5a 100644
--- a/Makefile
+++ b/Makefile
@@ -30,3 +30,5 @@ clean:
 	cd programs && make clean && cd ..
 	cd tests && make clean && cd ..
 
+check:
+	( cd tests && make check )