From 46a6839a0394eaf98bbd8bdc9f033bd49778332a Mon Sep 17 00:00:00 2001
From: Paul Bakker
Date: Tue, 28 Jul 2009 20:29:34 +0000
Subject: [PATCH] - Added generic 'make check' in Makefile
---
Makefile | 2 ++
1 file changed, 2 insertions(+)
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 )