diff options
author | Jeff King <peff@peff.net> | 2017-01-25 13:35:42 -0500 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2017-01-25 13:28:34 -0800 |
commit | 94d3997ecc09f36d17b9ad4b49c4709885e300f7 (patch) | |
tree | d6bcd4fdbb67fb4876f084adba9c7390c9aed114 /server-info.c | |
parent | difftool: retire the scripted version (diff) | |
download | tgif-94d3997ecc09f36d17b9ad4b49c4709885e300f7.tar.xz |
difftool: hack around -Wzero-length-format warning
Building with "gcc -Wall" will complain that the format in:
warning("")
is empty. Which is true, but the warning is over-eager. We
are calling the function for its side effect of printing
"warning:", even with an empty string.
Our DEVELOPER Makefile knob disables the warning, but not
everybody uses it. Let's silence the warning in the code so
that nobody reports it or tries to "fix" it.
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'server-info.c')
0 files changed, 0 insertions, 0 deletions