[m-dev.] diff: missing #include

[Fergus Henderson]

Tyson Richard DOWD, you wrote:
> Here's a better fix then (I think):

Well, for style reasons the other fix is a good idea anyway...

> cvs diff: Diffing .
> Index: Mmake
> ===================================================================
> RCS file: /home/staff/zs/imp/mercury/util/Mmake,v
> retrieving revision 1.17
> diff -u -r1.17 Mmake
> --- Mmake       1997/07/27 15:09:57     1.17
> +++ Mmake       1997/07/29 05:14:52
> @@ -15,9 +15,8 @@
>  
>  #-----------------------------------------------------------------------------#
>  
> -MGNUC  = $(SCRIPTS_DIR)/mgnuc
> -CFLAGS = -I$(RUNTIME_DIR) $(EXTRA_CFLAGS)
> -# we need -I ../runtime for "getopt.h"
> +MGNUC   =       MERCURY_C_INCL_DIR=$(RUNTIME_DIR) $(SCRIPTS_DIR)/mgnuc
> +MGNUCFLAGS =    -I$(RUNTIME_DIR) $(EXTRA_CFLAGS)

You changed `CFLAGS' to `MGNUCFLAGS' here, but you didn't change all
the uses of it.

-- 
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.