diff options
author | Jeff King <peff@peff.net> | 2022-10-17 21:08:54 -0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2022-10-17 21:24:04 -0700 |
commit | dfd2a238855967035cca3bf1475e542ba2f7823b (patch) | |
tree | 1980d76569c56736de39a4ec6e7aa5f555f26e0d /object-file.c | |
parent | 7506535775186a9223293e09948d253d7c9d8483 (diff) |
convert: mark unused parameter in null stream filter
The null stream filter unsurprisingly does not look at its "filter"
argument, since it just eats bytes. But we can't drop it, since it has
to conform to the same virtual interface that real filters do. Mark the
unused parameter to appease -Wunused-parameter.
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'object-file.c')
0 files changed, 0 insertions, 0 deletions