From: Stephane Glondu <steph@glondu.net>
Date: Thu, 11 Jul 2019 11:02:45 +0000 (+0200)
Subject: Disable dh_dwz for now
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~2^2~17^2~46
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=183e6efa42881d60ab1cd63489a8e6b333f5e5a2;p=ocaml.git

Disable dh_dwz for now
---

diff --git a/debian/rules b/debian/rules
index 680b5e79..ebd129ee 100755
--- a/debian/rules
+++ b/debian/rules
@@ -277,3 +277,6 @@ override_dh_missing:
 
 override_dh_autoreconf:
 	./autogen
+
+# FIXME: figure out why dh_dwz fails
+override_dh_dwz: