[m-dev.] trivial diff: fix pointers between places that know library names

Warwick Harvey wharvey at cs.monash.edu.au
Fri Oct 2 12:12:42 AEST 1998


Zoltan writes:
> Index: Mmake.common.in
> ===================================================================
> RCS file: /home/mercury1/repository/mercury/Mmake.common.in,v
> retrieving revision 1.29
> diff -u -u -r1.29 Mmake.common.in
> --- Mmake.common.in	1998/09/29 05:09:55	1.29
> +++ Mmake.common.in	1998/10/01 06:58:23
> @@ -176,8 +176,8 @@
>  # have just a ".init" suffix. (The trace library does not have a .init file,
>  # since it contains no Mercury code.)
>  #
> -# If you change these, you will also need to change script/ml.in
> -# and tools/bootcheck.
> +# If you change these, you will also need to change scripts/ml.in,
> +# scripts/c2init.in and and tools/bootcheck.

s/and and/and/





More information about the developers mailing list