From 6fa8d3c894062e7d3bde2d1ed35b40f2272e59f5 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Mon, 22 Apr 2019 20:44:11 -0700 Subject: [PATCH] =?UTF-8?q?Let=20plain=20=E2=80=98make=E2=80=99=20work=20e?= =?UTF-8?q?ven=20not=20GNU=20Make?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * 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). --- Makefile.in | 2 +- configure.ac | 10 +++++++++- 2 files changed, 10 insertions(+), 2 deletions(-) diff --git a/Makefile.in b/Makefile.in index 53703638c4..6b99d24da4 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 0ecb8c40e6..8b363c7fca 100644 --- a/configure.ac +++ b/configure.ac @@ -5814,4 +5814,12 @@ m4_define 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 <