summaryrefslogtreecommitdiff
path: root/configure.ac
diff options
context:
space:
mode:
authorPaul Eggert <eggert@cs.ucla.edu>2019-04-22 20:44:11 -0700
committerPaul Eggert <eggert@cs.ucla.edu>2019-04-22 20:44:54 -0700
commit6fa8d3c894062e7d3bde2d1ed35b40f2272e59f5 (patch)
tree0903f68003cf965cb93d7013234db9877ccf214e /configure.ac
parent7cc66173e4288237eb00b96f1d2162b80c0e0b1b (diff)
downloademacs-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).
Diffstat (limited to 'configure.ac')
-rw-r--r--configure.ac10
1 files changed, 9 insertions, 1 deletions
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