[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