diff options
Diffstat (limited to 'games/gnugo/files/patch-ab')
| -rw-r--r-- | games/gnugo/files/patch-ab | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/games/gnugo/files/patch-ab b/games/gnugo/files/patch-ab new file mode 100644 index 000000000000..4c1f5f00a73d --- /dev/null +++ b/games/gnugo/files/patch-ab @@ -0,0 +1,11 @@ +--- configure.orig Sat Aug 25 05:52:39 2001 ++++ configure Sun Sep 23 06:24:47 2001 +@@ -1228,7 +1228,7 @@ + # an executable is not found, even if stderr is redirected. + # Redirect stdin to placate older versions of autoconf. Sigh. + if (makeinfo --version) < /dev/null > /dev/null 2>&1; then +- MAKEINFO=makeinfo ++ MAKEINFO="makeinfo --no-split" + echo "$as_me:1232: result: found" >&5 + echo "${ECHO_T}found" >&6 + else |