[m-rev.] diff: bootcheck reports

[Zoltan Somogyi]

tools/bootcheck:
	If some part of the bootcheck fails, report the failing part in English, not
	in exit status numbers.

Zoltan.

Index: tools/bootcheck
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/tools/bootcheck,v
retrieving revision 1.147
diff -u -b -r1.147 bootcheck
--- tools/bootcheck	3 Mar 2003 14:42:48 -0000	1.147
+++ tools/bootcheck	10 Apr 2003 09:19:09 -0000
@@ -1223,14 +1223,33 @@
 	mv "$type_stats".save.$$ "$type_stats"
 fi
 
-echo "finishing at `date`"
+exitstatus=0
+
+if test "$diff_status" != 0
+then
+	echo "error exit: stages 2 and 3 differ"
+	exitstatus=1
+fi
+
+if test "$test_status" != 0
+then
+	echo "error exit: some tests failed"
+	exitstatus=1
+fi
+
+if test "$extras_status" != 0
+then
+	echo "error exit: some tests failed in extras"
+	exitstatus=1
+fi
 
-if test "$diff_status" = 0 -a "$test_status" = 0 -a "$extras_status" = 0 \
-	-a "$check_namespace_status" = 0
+if test "$check_namespace_status" != 0
 then
-	exit 0
-else
-	exit 1
+	echo "error exit: some namespace isn't clean"
+	exitstatus=1
 fi
+
+echo "finishing at `date`"
+exit $exitstatus
 
 #-----------------------------------------------------------------------------#
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------