[m-dev.] diff: missing #include

[Fergus Henderson]

Tyson Richard DOWD, you wrote:
> > >  
> > > -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.
> 
> Hmmm... Actually, that CFLAGS line shouldn't change at all, only the
> MGNUC = ... change is really necessary. How does that sound?

Fine.

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