diff options
Diffstat (limited to 'games/gnushogi/files/patch-Makefile.in')
| -rw-r--r-- | games/gnushogi/files/patch-Makefile.in | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/games/gnushogi/files/patch-Makefile.in b/games/gnushogi/files/patch-Makefile.in new file mode 100644 index 000000000000..3d7f0ea1c9c1 --- /dev/null +++ b/games/gnushogi/files/patch-Makefile.in @@ -0,0 +1,11 @@ +--- Makefile.in.orig 2025-03-06 05:33:20 UTC ++++ Makefile.in +@@ -51,7 +51,7 @@ sizetest: + sizetest: + -cd $(GNUSHOGIDIR) && $(MAKE) sizetest + +-bbk: ++bbk: gnushogi_compile + -cd $(GNUSHOGIDIR) && $(MAKE) $(PROGNAME).bbk + + |