[m-dev.] diff: test_mercury: handle release branch better

[Fergus Henderson]

On 01-Feb-2001, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> Estimated hours taken: 0.5
> 
> tools/test_mercury:
> 	Include $INSTALL_DIR_NAME in the name of the `installed.$HOST'
> 	and `successful_tests.$HOST' files that we generate, so that
> 	they distinguish between the main branch and the release
> 	branch.
> 
> 	If the install failed, then record it in install-failed.*
> 	rather than install.*, so that we can tell the difference
> 	between successful and unsucessful installs.

Oops, forgot the diff.  Here it is.

Index: test_mercury
===================================================================
RCS file: /home/staff/zs/imp/mercury/tools/test_mercury,v
retrieving revision 1.132
retrieving revision 1.133
diff -u -d -u -r1.132 -r1.133
--- test_mercury	2001/01/27 15:49:34	1.132
+++ test_mercury	2001/01/31 18:48:50	1.133
@@ -426,11 +426,13 @@
         false)	cd ../.. || status=1 ;;
         true)	cd .. || status=1 ;;
     esac
-esac
-
 
-[ -d $TESTDIR/logs ] || mkdir -p $TESTDIR/logs
-date >> $TESTDIR/logs/install.$HOST
+    [ -d $TESTDIR/logs ] || mkdir -p $TESTDIR/logs
+    case $status in
+        0) date >> $TESTDIR/logs/install.$INSTALL_DIR_NAME.$HOST ;;
+        *) date >> $TESTDIR/logs/install-failed.$INSTALL_DIR_NAME.$HOST ;;
+    esac
+esac
 
 #-----------------------------------------------------------------------------#
 
@@ -720,7 +722,7 @@
     0)
 	: if we get this far, then it worked.
 	[ -d $TESTDIR/logs ] || mkdir -p $TESTDIR/logs
-	date >> $TESTDIR/logs/successful_tests.$HOST
+	date >> $TESTDIR/logs/successful_tests.$INSTALL_DIR_NAME.$HOST
 	case $HOST in murlibobo)
 	    cd $DIR &&
 		# Delete older stable versions that this one replaces
-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------