diff options
| author |  Johannes Schindelin <johannes.schindelin@gmx.de> | 2021-01-21 13:09:45 +0000 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2021-01-21 14:59:55 -0800 |
| commit | 4a5ec7d166369bb537d31e2920651d40538511b3 (patch) | |
| tree | 4d9d445d5e535414469d65c81164258d0bb20842 /Documentation/git-push.txt | |
| parent | Git 2.29.2 (diff) | |
| download | tgif-4a5ec7d166369bb537d31e2920651d40538511b3.tar.xz | |
SKIP_DASHED_BUILT_INS: respect `config.mak`
When `SKIP_DASHED_BUILT_INS` is specified in `config.mak`, the dashed
form of the built-ins was still generated.
By moving the `SKIP_DASHED_BUILT_INS` handling after `config.mak` was
read, this can be avoided.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-push.txt')
0 files changed, 0 insertions, 0 deletions