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

Tyson Dowd trd at cs.mu.OZ.AU
Tue Jul 4 16:18:54 AEST 2000


That looks fine, please commit.

On 04-Jul-2000, David Glen JEFFERY <dgj at cs.mu.OZ.AU> wrote:
> 
> 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
> --------------------------------------------------------------------------

-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't everyone's cup of fur.
     trd at cs.mu.oz.au        # 
http://www.cs.mu.oz.au/~trd #
--------------------------------------------------------------------------
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