diff options
author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2016-07-01 15:01:28 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2016-07-06 08:11:47 -0700 |
commit | 08aade7080ef7955eb356c6590187be3b55dcbcd (patch) | |
tree | a3bfa54e4001651f1822fb3aab894a4ed186b7ea /git-gui/lib | |
parent | common-main: call git_setup_gettext() (diff) | |
download | tgif-08aade7080ef7955eb356c6590187be3b55dcbcd.tar.xz |
mingw: declare main()'s argv as const
In 84d32bf (sparse: Fix mingw_main() argument number/type errors,
2013-04-27), we addressed problems identified by the 'sparse' tool where
argv was declared inconsistently. The way we addressed it was by casting
from the non-const version to the const-version.
This patch is long overdue, fixing compat/mingw.h's declaration to
make the "argv" parameter const. This also allows us to lose the
"const" trickery introduced earlier to common-main.c:main().
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-gui/lib')
0 files changed, 0 insertions, 0 deletions