tools/test_mercury: build binary distributions

[Fergus Henderson]

tools/test_mercury:
	If the tests pass, build a binary distribution.

cvs diff: Diffing .
Index: test_mercury
===================================================================
RCS file: /home/staff/zs/imp/mercury/tools/test_mercury,v
retrieving revision 1.81
diff -u -u -r1.81 test_mercury
--- test_mercury	1998/11/07 14:24:37	1.81
+++ test_mercury	1998/11/07 14:33:22
@@ -464,10 +464,25 @@
 
 #-----------------------------------------------------------------------------#
 
-: check for success
-
 STABLE=mercury-latest-stable
 UNSTABLE=mercury-latest-unstable
+
+: build the binary distribution
+
+case $status in
+    0) {
+    	cd $DIR/mercury &&
+    	mmake bindist &&
+	cd .. &&
+	( [ -d $STABLE ] || mkdir $STABLE ) &&
+	mv mercury-$version*.tar.gz $STABLE
+       } || status=1
+    ;;
+esac
+
+#-----------------------------------------------------------------------------#
+
+: check for success
 
 case $status in
     0)

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "Binaries may die
WWW: <http://www.cs.mu.oz.au/~fjh>  |   but source code lives forever"
PGP: finger fjh at 128.250.37.3        |     -- leaked Microsoft memo.