[m-dev.] trivial diff

[Zoltan Somogyi]

tools/bootcheck:
	If the building of a stage 3 directory is not successful, try again.
	This may (or may not) take care of the transient "I/O error" messages
	you tend to get on our Linux PCs.

	Similar errors in stage 2 were already taken care of issuing make
	in the stage2 directory after making its browser, library and compiler
	subdirectories.

Zoltan.

cvs diff: Diffing .
Index: bootcheck
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/bootcheck,v
retrieving revision 1.85
diff -u -b -r1.85 bootcheck
--- bootcheck	1999/08/05 04:13:22	1.85
+++ bootcheck	1999/09/13 00:55:47
@@ -560,9 +560,19 @@
 	then
 		echo "building of stage 3 library successful"
 	else
+		echo "building of stage 3 library initially not successful"
+		df .
+		# try again, in case the failure cause was transient
+		if 	(cd stage3/library &&
+			$MMAKE $mmake_opts $jfactor all-ints &&
+			$MMAKE $mmake_opts $jfactor cs)
+		then
+			echo "building of stage 3 library successful"
+		else
 		echo "building of stage 3 library not successful"
 		exit 1
 	fi
+	fi
 
 	# We delay deleting the stage 2 compiler objects until now,
 	# so that if (a) an error manifests itself during the creation
@@ -583,16 +593,32 @@
 	then
 		echo "building of stage 3 browser successful"
 	else
+		echo "building of stage 3 browser initially not successful"
+		df .
+		# try again, in case the failure cause was transient
+		if (cd stage3/browser && $MMAKE $mmake_opts $jfactor cs)
+		then
+			echo "building of stage 3 browser successful"
+		else
 		echo "building of stage 3 browser not successful"
 		exit 1
 	fi
+	fi
 
 	if (cd stage3/compiler && $MMAKE $mmake_opts $jfactor cs)
 	then
 		echo "building of stage 3 compiler successful"
 	else
+		echo "building of stage 3 compiler initially not successful"
+		df .
+		# try again, in case the failure cause was transient
+		if (cd stage3/compiler && $MMAKE $mmake_opts $jfactor cs)
+		then
+			echo "building of stage 3 compiler successful"
+		else
 		echo "building of stage 3 compiler not successful"
 		exit 1
+		fi
 	fi
 
 	diff_status=0
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------