[m-rev.] trivial diff: make bootcheck fail for runtime namespace problems

[Simon Taylor]

Estimated hours taken: 0.1

tools/bootcheck:
	Make bootcheck fail if the runtime is not namespace clean.

Index: bootcheck
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/bootcheck,v
retrieving revision 1.121
diff -u -u -r1.121 bootcheck
--- bootcheck	11 Aug 2001 06:06:49 -0000	1.121
+++ bootcheck	2 Nov 2001 07:19:42 -0000
@@ -930,22 +930,12 @@
 	cd $root/${stage2_insert}runtime
 	mmake $mmake_opts check_namespace || {
 		echo '** mmake check_namespace failed!'
-		# XXX Currently we just report the errors;
-		#     we don't yet actually return a non-zero status.
-		#     That's why the line below is commented out.
-		#     This is a transition measure until we're sure
-		#     that everything really is namespace-clean.
-		# check_namespace_status=1
+		check_namespace_status=1
 	}
 	cd $root/${stage2_insert}trace
 	mmake $mmake_opts check_namespace || {
 		echo '** mmake check_namespace failed!'
-		# XXX Currently we just report the errors;
-		#     we don't yet actually return a non-zero status.
-		#     That's why the line below is commented out.
-		#     This is a transition measure until we're sure
-		#     that everything really is namespace-clean.
-		# check_namespace_status=1
+		check_namespace_status=1
 	}
 	cd $root
 fi
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------