diff options
| author | Glenn Morris <rgm@gnu.org> | 2014-03-27 15:41:57 -0400 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2014-03-27 15:41:57 -0400 |
| commit | f6dce6c1d61bd1fd946f453c6fec30fa89e0181e (patch) | |
| tree | 36fbc6945e87ef614475902c18358910e68f54ca /Makefile.in | |
| parent | 6730259fea22fcd4b7d28f3b57fef2d5776a2dad (diff) | |
| download | emacs-f6dce6c1d61bd1fd946f453c6fec30fa89e0181e.tar.gz | |
Require GNU make to build Emacs
Ref: http://debbugs.gnu.org/16717#45
If no-one objects, we can then start getting rid of some of the
convoluted Makefile hacks that exist to support non-GNU makes.
* configure.ac: Require GNU make.
(HAVE_GNU_MAKE): Remove.
* INSTALL, etc/NEWS, etc/PROBLEMS: Update for this change.
* Makefile.in: Comment.
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index be68df1fd6d..b2887472dd4 100644 --- a/Makefile.in +++ b/Makefile.in @@ -60,8 +60,8 @@ SHELL = @SHELL@ -# This may not work with certain non-GNU make's. It only matters when -# inheriting a CDPATH not starting with the current directory. +# This only matters when inheriting a CDPATH not starting with the +# current directory. CDPATH= # If Make doesn't predefine MAKE, set it here. |