From f491d7b6afb4fa899af1befe6a7c9f683266646c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Love=20H=C3=B6rnquist=20=C3=85strand?= <lha@kth.se>
Date: Thu, 17 Apr 2003 07:29:07 +0000
Subject: [PATCH] make make_check_version work

git-svn-id: svn://svn.h5l.se/heimdal/trunk/heimdal@12089 ec53bebd-3082-4978-b11e-865c3cabbd6b
---
 tools/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/build.sh b/tools/build.sh
index caa95d144..907006947 100755
--- a/tools/build.sh
+++ b/tools/build.sh
@@ -125,7 +125,7 @@ build () {
 	{ logprint failed to make ${pv} ; return 1 ; }
     ${opt_n} make install >> ${logfile} 2>&1 || \
 	{ logprint failed to install ${pv} ; return 1 ; }
-    do_check_p make_check_version ${real_ver} && \
+    do_check_p make_check_version ${real_ver} || \
     	{ ${opt_n} make check >> ${logfile} 2>&1 || return 1 ; }
     ${opt_n} cd ..
     return 0