possible GNU "make" bug in redhat 5.0 intel?

["Joseph H. Buehler" <jhpb at sarto dot gaithersburg dot md dot us>]

The following errors happened when building i686-pc-linux-gnu from
tonight's cvs tree:

    if [ -d /include ] ; then true ; else mkdir /include ; chmod a+rx /include ; fi
    mkdir: cannot make directory `/include': Permission denied
    chmod: /include: No such file or directory
    make[2]: [installdirs] Error 1 (ignored)

    ...

    if test -n "[ -f f2c-install-ok -o -f ../../gcc/f2c-install-ok ]" && test -f include/f2c.h; then \
      /bin/sh /home/jhpb/src/egcs/egcs-980127/install-sh -c -m 644 include/f2c.h /include/f2c.h; \
      chmod a+r /include/f2c.h; \
    else true; fi
    mkdir: cannot make directory `/include': Permission denied
    cp: cannot create regular file `/include/#inst.13826#': No such file or directory
    chmod: /include/f2c.h: No such file or directory
    make[2]: [install-f2c-header] Error 1 (ignored)

In both cases, that "/include" is supposed to be $(includedir), which
is $(local_prefix)/include, which is /usr/local/include.  I ran a make
-n on the makefile while the "make check" was doing its thing, and
$(includedir) gets set correctly.

Perhaps a GNU make bug?  Anyone else see this?

Joe Buehler