[m-dev.] diff: compressing stage 2 C files

Zoltan Somogyi zs at cs.mu.OZ.AU
Wed Jan 17 13:42:26 AEDT 2001


tools/bootcheck:
	In debugging grades, compress the stage 2 C files when they are no
	longer needed, since they are big and can cause the bootcheck to run
	out of disk space while running the tests.

Zoltan.

cvs diff: Diffing .
Index: bootcheck
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/bootcheck,v
retrieving revision 1.108
diff -u -b -r1.108 bootcheck
--- bootcheck	2001/01/13 13:36:21	1.108
+++ bootcheck	2001/01/17 02:38:45
@@ -737,6 +737,20 @@
 		$RMSTAGECMD $root/stage3/* < /dev/null
 		/bin/rm -fr $root/stage3/* < /dev/null
 		/bin/rm -fr $root/stage3/.[a-zA-Z]* < /dev/null
+
+		case "$grade" in
+			*debug*)
+				# These files take up a lot of disk space,
+				# so we compress them. This reduces the
+				# probability that running the tests will
+				# run out of disk space, while still allowing
+				# the original files to be reconstructed
+				# relatively quickly.
+				gzip $root/stage2/library/*.c
+				gzip $root/stage2/browser/*.c
+				gzip $root/stage2/compiler/*.c
+				;;
+		esac
 	fi
 
 	echo "finishing stage3 at `date`"
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the developers mailing list