Re: CHECK_STRUCTS/dmpstruct.h mechanism is broken.

[Eli Zaretskii]

> From: Paul Eggert <address@hidden>
> Date: Mon, 22 Apr 2019 20:48:54 -0700
> Cc: address@hidden, address@hidden
> 
> -test "$MAKE" = make || AC_MSG_NOTICE([Now you can run '$MAKE'.])
> +# Let plain 'make' work.
> +test "$MAKE" = make || test -f makefile || cat >makefile <<EOF
> +.POSIX:
> +MAKE = $MAKE
> +all:
> +     \$(MAKE) -f Makefile \$?
> +.DEFAULT:
> +     \$(MAKE) -f Makefile \$<
> +EOF

Does this assume we could have both Makefile and makefile in the same
directory?  That's false on case-insensitive filesystems.