[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configur
From: |
Po Lu |
Subject: |
Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice. |
Date: |
Mon, 19 Sep 2022 20:23:35 +0800 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.91 (gnu/linux) |
Gregory Heytings <gregory@heytings.org> writes:
> run "make extraclean" and run "make" again, to rebuild Emacs with the
> default configuration options, which might fix the problem
>
> or:
>
> run "make bootstrap configure=default", to rebuild Emacs with the
> default configuration options, which might fix the problem
>
> Those two commands are equivalent, but I find the latter clearer, and
> it's not obscure, it repeats something that can already be found in
> INSTALL.REPO.
The former is shorter and easier to remember. Other programs typically
do not accept "configure=" parameters in their Makefiles.
- Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice., (continued)
- Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice., Gerd Möllmann, 2022/09/19
- Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice., Stefan Monnier, 2022/09/19
- Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice., Gregory Heytings, 2022/09/19
- Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice., Gregory Heytings, 2022/09/19
- Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice., Lars Ingebrigtsen, 2022/09/19
- Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice., Gregory Heytings, 2022/09/19
- Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice.,
Po Lu <=
- Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice., Gregory Heytings, 2022/09/19