Remove kbsd-gnu.dpatch (unused, obsolete)

diff --git a/debian/patches/00list b/debian/patches/00list
index 40692635056aac9bb4a3f46c49919b184a1487ad..55f0b79e21587c7048b8e162a223df0a23fdaf22 100644 (file)
--- a/debian/patches/00list
+++ b/debian/patches/00list
@@ -1,7 +1,6 @@
 objinfo.dpatch
 dumpobj.dpatch
 man-ocamlmklib.dpatch
-#kbsd-gnu.dpatch
 alpha_ld_no-relax.dpatch
 call_ld_with_proper_flags.dpatch
 no_rpath.dpatch

diff --git a/debian/patches/kbsd-gnu.dpatch b/debian/patches/kbsd-gnu.dpatch
deleted file mode 100644 (file)
index 92aa0d1..0000000
--- a/debian/patches/kbsd-gnu.dpatch
+++ /dev/null
@@ -1,32 +0,0 @@
-#! /bin/sh -e 
-## kbsd-gnu.dpatch by Aurelien Jarno <aurel32@debian.org>
-##
-## All lines beginning with `## DP:' are a description of the patch.
-## DP: Port to GNU/k*BSD
-
-if [ $# -ne 1 ]; then
-    echo "`basename $0`: script expects -patch|-unpatch as argument" >&2
-    exit 1
-fi
-case "$1" in
-    -patch) patch -f --no-backup-if-mismatch -p1 < $0;;
-    -unpatch) patch -f --no-backup-if-mismatch -R -p1 < $0;;   
-    *)
-       echo "`basename $0`: script expects -patch|-unpatch as argument" >&2
-       exit 1;;
-esac
-
-exit 0
-@DPATCH@
---- ocaml-3.09.0/configure     2005-11-10 00:50:29.000000000 +0100
-+++ ocaml-3.09.0/configure     2005-11-10 00:53:37.000000000 +0100
-@@ -480,7 +480,7 @@
- 
- if test $withsharedlibs = "yes"; then
-   case "$host" in
--    *-*-linux-gnu|*-*-linux|*-*-freebsd[3-9]*)
-+    *-*-linux-gnu|*-*-linux|*-*-k*bsd*-gnu|*-*-gnu*|*-*-freebsd[3-9]*)
-       sharedcccompopts="-fPIC"
-       mksharedlib="$bytecc -shared -o"
-       bytecclinkopts="$bytecclinkopts -Wl,-E"
-