diff options
author | dwcjr <dwcjr@FreeBSD.org> | 2002-04-27 02:32:58 +0800 |
---|---|---|
committer | dwcjr <dwcjr@FreeBSD.org> | 2002-04-27 02:32:58 +0800 |
commit | 53be29926ae583c0f271c5398307a4838bc276c8 (patch) | |
tree | c22aeae5dc55bef2b1c02cc8203839e5c63dcea8 /games/gnugo/files | |
parent | 6c816c7345c0583492250484b788f7ac3f0bab70 (diff) | |
download | freebsd-ports-gnome-53be29926ae583c0f271c5398307a4838bc276c8.tar.gz freebsd-ports-gnome-53be29926ae583c0f271c5398307a4838bc276c8.tar.zst freebsd-ports-gnome-53be29926ae583c0f271c5398307a4838bc276c8.zip |
Update to 3.2
PR: 37478
Submitted by: maintainer
Diffstat (limited to 'games/gnugo/files')
-rw-r--r-- | games/gnugo/files/patch-ab | 21 |
1 files changed, 10 insertions, 11 deletions
diff --git a/games/gnugo/files/patch-ab b/games/gnugo/files/patch-ab index 4c1f5f00a73d..0991db853cc8 100644 --- a/games/gnugo/files/patch-ab +++ b/games/gnugo/files/patch-ab @@ -1,11 +1,10 @@ ---- 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 +--- configure.org Fri Apr 26 01:28:25 2002 ++++ configure Fri Apr 26 01:28:59 2002 +@@ -1306,6 +1306,7 @@ + AUTOHEADER=${AUTOHEADER-"${am_missing_run}autoheader"} + + MAKEINFO=${MAKEINFO-"${am_missing_run}makeinfo"} ++MAKEINFO="$MAKEINFO --no-split" + + AMTAR=${AMTAR-"${am_missing_run}tar"} + |