[m-dev.] for review: generate index files *before* exiting

[David Glen JEFFERY]

For Fergus or Tyse.

===================================================================
Estimated hours taken: 0.5

tools/test_mercury:
	Call generate_index_html *before* exiting the script. Shift the
	code around a little so that it can be called after all the changes
	have been made to the www site.
===================================================================

Index: test_mercury
===================================================================
RCS file: /home/staff/zs/imp/mercury/tools/test_mercury,v
retrieving revision 1.111
diff -u -t -r1.111 test_mercury
--- test_mercury	2000/06/27 04:35:19	1.111
+++ test_mercury	2000/07/04 01:55:48
@@ -607,8 +607,6 @@
 
 #-----------------------------------------------------------------------------#
 
-: check for success
-
 case $status in
     0)
         : if we get this far, then it worked.
@@ -647,25 +645,37 @@
                 $BETA_WEBDIR/mercury-tests-$version.tar.gz 
             ;;
         esac
-        echo "test_mercury exiting successfully at `date`" 1>&2
-        true
-        exit 0
         ;;
     *)
-        : one or more tests failed
-        echo "some tests failed" 1>&2
-        echo "test_mercury exiting unsuccessfully at `date`" 1>&2
-        false
-        exit 1
         ;;
 esac
 
 # Now rebuild the index files on the www site
+echo "test_mercury generating index files on www site, starting at `date`" 1>&2
 (
 PATH="`pwd`:$PATH"
 export PATH
 cd $BETA_WEBDIR_TOP
 generate_index_html
 )
+echo "test_mercury generating index files on www site, finished at `date`" 1>&2
+
+: check for success
+
+case $status in
+    0)
+
+        echo "test_mercury exiting successfully at `date`" 1>&2
+        true
+        exit 0
+        ;;
+    *)
+        : one or more tests failed
+        echo "some tests failed" 1>&2
+        echo "test_mercury exiting unsuccessfully at `date`" 1>&2
+        false
+        exit 1
+        ;;
+esac
 
 #-----------------------------------------------------------------------------#



dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) | If your thesis is utterly vacuous
PhD student,                    | Use first-order predicate calculus.
Dept. of Comp. Sci. & Soft. Eng.|     With sufficient formality
The University of Melbourne     |     The sheerist banality
Australia                       | Will be hailed by the critics: "Miraculous!"
                                |     -- Anon.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------