diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2019-04-22 20:44:11 -0700 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2019-04-22 20:44:54 -0700 |
| commit | 6fa8d3c894062e7d3bde2d1ed35b40f2272e59f5 (patch) | |
| tree | 0903f68003cf965cb93d7013234db9877ccf214e | |
| parent | 7cc66173e4288237eb00b96f1d2162b80c0e0b1b (diff) | |
| download | emacs-6fa8d3c894062e7d3bde2d1ed35b40f2272e59f5.tar.gz | |
Let plain ‘make’ work even not GNU Make
* Makefile.in (top_distclean): Clean makefile as well as Makefile.
* configure.ac: If not using plain ‘make’, create a makefile
so that plain ‘make’ simply calls $(MAKE).
| -rw-r--r-- | Makefile.in | 2 | ||||
| -rw-r--r-- | configure.ac | 10 |
2 files changed, 10 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index 53703638c42..6b99d24da49 100644 --- a/Makefile.in +++ b/Makefile.in @@ -869,7 +869,7 @@ top_bootclean=\ top_distclean=\ ${top_bootclean}; \ rm -f config.status config.log~ \ - Makefile lib/gnulib.mk ${SUBDIR_MAKEFILES} + Makefile makefile lib/gnulib.mk ${SUBDIR_MAKEFILES} distclean_dirs = $(clean_dirs) leim lisp diff --git a/configure.ac b/configure.ac index 0ecb8c40e61..8b363c7fca6 100644 --- a/configure.ac +++ b/configure.ac @@ -5814,4 +5814,12 @@ you can continue to support by using '$0 --with-pop'.]) esac fi -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 |