diff options
author | Gregory Heytings <gregory@heytings.org> | 2021-11-24 07:58:11 +0100 |
---|---|---|
committer | Lars Ingebrigtsen <larsi@gnus.org> | 2021-11-24 07:58:11 +0100 |
commit | d63fc69b192a608f98c15d6014430f28138fd82e (patch) | |
tree | 18b6243b012931030b9dbea7417e61392f30525d /Makefile.in | |
parent | d112c75f53c690e6f13ec3b340dbc384425bb04d (diff) | |
download | emacs-d63fc69b192a608f98c15d6014430f28138fd82e.tar.gz |
Pass options from make to configure through a variable.
* GNUmakefile (configure): Use the variable.
* INSTALL.REPO: Document the variable (bug#51965).
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index 3c092fa63df..4b40d8741d4 100644 --- a/Makefile.in +++ b/Makefile.in @@ -1145,14 +1145,23 @@ check-info: info .PHONY: bootstrap -# Bootstrapping does the following: +# Without a 'configure' variable, bootstrapping does the following: # * Remove files to start from a bootstrap-clean slate. # * Run autogen.sh. # * Rebuild Makefile, to update the build procedure itself. # * Do the actual build. -bootstrap: bootstrap-clean +# With a 'configure' variable, bootstrapping does the following: +# * Remove files to start from an extraclean slate. +# * Do the actual build, during which the 'configure' variable is +# used (see the Makefile goal in GNUmakefile). +bootstrap: +ifndef configure + $(MAKE) bootstrap-clean cd $(srcdir) && ./autogen.sh autoconf $(MAKE) MAKEFILE_NAME=force-Makefile force-Makefile +else + $(MAKE) extraclean +endif $(MAKE) all .PHONY: ChangeLog change-history change-history-commit change-history-nocommit |