diff options
Diffstat (limited to 'games/gnugo/files/patch-configure')
| -rw-r--r-- | games/gnugo/files/patch-configure | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/games/gnugo/files/patch-configure b/games/gnugo/files/patch-configure new file mode 100644 index 0000000..0991db8 --- /dev/null +++ b/games/gnugo/files/patch-configure @@ -0,0 +1,10 @@ +--- 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"} + |
