diff options
Diffstat (limited to 'dns/posadis/files/patch-configure')
| -rw-r--r-- | dns/posadis/files/patch-configure | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/dns/posadis/files/patch-configure b/dns/posadis/files/patch-configure deleted file mode 100644 index 237157e10174..000000000000 --- a/dns/posadis/files/patch-configure +++ /dev/null @@ -1,11 +0,0 @@ ---- configure.orig Fri Feb 28 00:45:14 2003 -+++ configure Fri Feb 28 00:45:47 2003 -@@ -963,7 +963,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 "$ac_t""found" 1>&6 - else - MAKEINFO="$missing_dir/missing makeinfo" |