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 /GNUmakefile | |
| 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 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile index 5155487de28..76fd77ba1b0 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -104,8 +104,13 @@ configure: Makefile: configure @echo >&2 'There seems to be no Makefile in this directory.' +ifeq ($(configure),default) @echo >&2 'Running ./configure ...' ./configure +else + @echo >&2 'Running ./configure '$(configure)'...' + ./configure $(configure) +endif @echo >&2 'Makefile built.' # 'make bootstrap' in a fresh checkout needn't run 'configure' twice. |