diff options
| author | Jim Meyering <jim@meyering.net> | 1998-04-04 08:05:18 +0000 |
|---|---|---|
| committer | Jim Meyering <jim@meyering.net> | 1998-04-04 08:05:18 +0000 |
| commit | 4a46351e0672d1ee6c6998e36b1ffac0ac7bdbe0 (patch) | |
| tree | 5f272bc402845a6bd5b3bbbddb16c42a2a869eaf | |
| parent | 8aca15bac0c40968ff2661a35bb91282e53ac237 (diff) | |
| download | coreutils-4a46351e0672d1ee6c6998e36b1ffac0ac7bdbe0.tar.xz | |
Add conditionals so that running `make' in an
unconfigured source directory will get a reasonable diagnostic.
| -rw-r--r-- | GNUmakefile | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile index 81667ace9..972384d69 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -3,5 +3,21 @@ # This makefile is used only if you run GNU Make. # It is necessary if you modify files in the m4/ directory or # want to build targets usually of interest only to the maintainer. + +have-Makefile := $(shell test -f Makefile && echo yes) + +# If the user runs GNU make but has not yet run ./configure, +# give them a diagnostic. +ifeq ($(have-Makefile),yes) + include Makefile include $(srcdir)/Makefile.maint + +else + +all: + @echo There seems to be no Makefile in this directory. + @echo "You must run ./configure before running \`make'." + @exit 1 + +endif |