1 # Systems where /bin/sh is not the default shell need this. The $(shell)
2 # command below won't work with e.g. stock DOS/Windows shells.
5 have-Makefile := $(shell test -f Makefile && echo yes)
7 # If the user runs GNU make but has not yet run ./configure,
8 # give them a diagnostic.
9 ifeq ($(have-Makefile),yes)
12 include $(srcdir)/Makefile.maint
17 @echo There seems to be no Makefile in this directory.
18 @echo "You must run ./configure before running \`make'."