From 3cc2520a3295e6f28f29575754bad2154532accc Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Sat, 7 Mar 2009 22:34:19 -0400
Subject: Don't run 'make fullcheck' for the gcov build

---
 tools/proof | 16 ++++++++++++----
 1 file changed, 12 insertions(+), 4 deletions(-)

(limited to 'tools/proof')

diff --git a/tools/proof b/tools/proof
index aec67146..c0798575 100755
--- a/tools/proof
+++ b/tools/proof
@@ -36,10 +36,18 @@ function build_and_test() {
 	exit 1
     fi
 
-    echo %%% Testing $NAME %%%
-    if ! (cd $DIR && make fullcheck); then
-	echo %%% FAILED to test $NAME %%%
-	exit 1
+    if [ "$NAME" = "gcov" ]; then
+	echo %%% Testing $NAME %%%
+	if ! (cd $DIR && make check); then
+	    echo %%% FAILED to test $NAME %%%
+	    exit 1
+	fi
+    else
+	echo %%% Testing $NAME %%%
+	if ! (cd $DIR && make fullcheck); then
+	    echo %%% FAILED to test $NAME %%%
+	    exit 1
+	fi
     fi
 }
 
-- 
cgit v1.2.3