diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 21:03:06 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 21:03:06 +0100 |
commit | 8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 (patch) | |
tree | 7681bbd4e8b05407772df40a4bf04cbbc8afc3fa /games-board/gtkboard/files/gtkboard-0.11_pre0-gcc41.patch | |
parent | 30a9caf154332f12ca60756e1b75d2f0e3e1822d (diff) |
gentoo resync : 14.07.2018
Diffstat (limited to 'games-board/gtkboard/files/gtkboard-0.11_pre0-gcc41.patch')
-rw-r--r-- | games-board/gtkboard/files/gtkboard-0.11_pre0-gcc41.patch | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/games-board/gtkboard/files/gtkboard-0.11_pre0-gcc41.patch b/games-board/gtkboard/files/gtkboard-0.11_pre0-gcc41.patch new file mode 100644 index 000000000000..f14096e155d1 --- /dev/null +++ b/games-board/gtkboard/files/gtkboard-0.11_pre0-gcc41.patch @@ -0,0 +1,24 @@ +gcc-4.1 patch from debian. + +--- a/src/board.c ++++ b/src/board.c +@@ -74,7 +74,7 @@ + //! default background + char board_default_colors [9] = {215, 215, 215, 215, 215, 215, 0, 0, 0}; + +-static int cell_size, num_pieces; ++int cell_size, num_pieces; + + extern void ui_make_human_move (byte *move, int *rmove); + +--- a/src/menu.c ++++ b/src/menu.c +@@ -829,7 +829,7 @@ + + { + int i; +- GtkItemFactoryEntry help_items [3]; ++ GtkItemFactoryEntry help_items [4]; + help_items[0].path = g_strdup_printf ("/Help/%s", opt_game->name); + help_items[0].accelerator = NULL; + help_items[0].callback = NULL; |