From: Stéphane Glondu <glondu@debian.org>
Date: Fri, 25 Aug 2023 09:08:24 +0000 (+0200)
Subject: Remove empty override_dh_dwz
X-Git-Tag: archive/raspbian/4.14.1-1+rpi1~1^2~12
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=c57b51fee094ba407e5360c4df8de79ff480cadb;p=ocaml.git

Remove empty override_dh_dwz
---

diff --git a/debian/rules b/debian/rules
index afff1cc9..da054efd 100755
--- a/debian/rules
+++ b/debian/rules
@@ -301,6 +301,3 @@ override_dh_installdocs:
 
 override_dh_autoreconf:
 	./tools/autogen
-
-# FIXME: figure out why dh_dwz fails
-override_dh_dwz: