[m-dev.] For review: Remove references to `.nl' files in tools/bootcheck

[Fergus Henderson]

That looks fine.

On 11-Jan-2000, Warwick Harvey <wharvey at cs.monash.edu.au> wrote:
> Estimated hours taken: 0.5
> 
> tools/bootcheck:
> 	Removed some obsolete references to `.nl' files.
> 
> Index: tools/bootcheck
> ===================================================================
> RCS file: /home/mercury1/repository/mercury/tools/bootcheck,v
> retrieving revision 1.89
> diff -u -r1.89 bootcheck
> --- tools/bootcheck     1999/11/08 16:07:57     1.89
> +++ tools/bootcheck     2000/01/11 08:46:12
> @@ -309,10 +309,8 @@
>         cd $root/stage2
>         mkdir library
>         cd library
> -       $LN_S $root/library/library.nu.nl.in .
>         $LN_S $root/library/[a-l]*.m .
>         $LN_S $root/library/[m-z]*.m .
> -       $LN_S $root/library/*.nl .
>         cp $root/library/Mmake* .
>         $LN_S $root/library/$STD_LIB_NAME.init .
>         cd $root/stage2
> @@ -518,10 +516,8 @@
>         cd $root/stage3
>         mkdir library
>         cd library
> -       $LN_S $root/library/library.nu.nl.in .
>         $LN_S $root/library/[a-l]*.m .
>         $LN_S $root/library/[m-z]*.m .
> -       $LN_S $root/library/*.nl .
>         cp $root/library/Mmake* .
>         $LN_S $root/library/$STD_LIB_NAME.init .
>         cd $root/stage3
> 
> 
> --------------------------------------------------------------------------
> 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
> --------------------------------------------------------------------------

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- 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
--------------------------------------------------------------------------