diff options
Diffstat (limited to 'palm/plucker/files/patch-configure')
| -rw-r--r-- | palm/plucker/files/patch-configure | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/palm/plucker/files/patch-configure b/palm/plucker/files/patch-configure deleted file mode 100644 index aa9145baee10..000000000000 --- a/palm/plucker/files/patch-configure +++ /dev/null @@ -1,11 +0,0 @@ ---- configure.orig Thu Oct 17 00:59:25 2002 -+++ configure Thu Oct 31 11:36:31 2002 -@@ -1126,7 +1126,7 @@ - test -n "$SED" && break - done - -- $SED --version 2>&1 < /dev/null | grep GNU >/dev/null 2>&1 -+# $SED --version 2>&1 < /dev/null | grep GNU >/dev/null 2>&1 - if test "$?" != "0" ; then - echo "configure: warning: "Version of sed on path must be GNU sed to build manual"" 1>&2 - BUILD_MANUAL=no |