From: Stephane Glondu <steph@glondu.net>
Date: Mon, 20 Oct 2008 13:22:47 +0000 (+0200)
Subject: Remove kbsd-gnu.dpatch (unused, obsolete)
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~449^2~41
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=95324fa90a0b4e36ad44e47383b9810d2dca124c;p=ocaml.git

Remove kbsd-gnu.dpatch (unused, obsolete)
---

diff --git a/debian/patches/00list b/debian/patches/00list
index 40692635..55f0b79e 100644
--- 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
index 92aa0d16..00000000
--- 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"
-