diff options
author | Ævar Arnfjörð Bjarmason <avarab@gmail.com> | 2021-09-23 00:08:02 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2021-09-27 13:54:02 -0700 |
commit | dd20e4a6db0c5504f098f8e97eadf55b967056cd (patch) | |
tree | a77d9bd705c6501ccf69e11a0244267acacb0148 /builtin/push.c | |
parent | Git 2.33 (diff) | |
download | tgif-dd20e4a6db0c5504f098f8e97eadf55b967056cd.tar.xz |
Makefile: pass -Wno-pendantic under GENERATE_COMPILATION_DATABASE=yes
The same bug fixed in the "COMPUTE_HEADER_DEPENDENCIES=auto" mode in
the preceding commit was also present with
"GENERATE_COMPILATION_DATABASE=yes". Let's fix it so it works again
with "DEVOPTS=1".
Signed-off-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'builtin/push.c')
0 files changed, 0 insertions, 0 deletions