From: Stephane Glondu <steph@glondu.net>
Date: Thu, 11 Jul 2019 09:42:21 +0000 (+0200)
Subject: Bump debhelper compat to 12
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~2^2~17^2~47
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=9d221cc87c4cf4d636170de79d3c84ed2985727e;p=ocaml.git

Bump debhelper compat to 12
---

diff --git a/debian/compat b/debian/compat
index ec635144..48082f72 100644
--- a/debian/compat
+++ b/debian/compat
@@ -1 +1 @@
-9
+12
diff --git a/debian/control b/debian/control
index 88803001..57d8e501 100644
--- a/debian/control
+++ b/debian/control
@@ -9,7 +9,7 @@ Uploaders:
  Mehdi Dogguy <mehdi@debian.org>,
  Ximin Luo <infinity0@debian.org>
 Build-Depends:
- debhelper (>= 9),
+ debhelper (>= 12),
  pkg-config,
  quilt,
  autotools-dev,
diff --git a/debian/rules b/debian/rules
index b80f1005..680b5e79 100755
--- a/debian/rules
+++ b/debian/rules
@@ -118,7 +118,6 @@ endif
 override_dh_auto_configure: config-stamp ocamlinit-stamp
 
 config-stamp: pre-config-stamp
-	./autogen
 	./configure $(CONFIGURE_OPTS)
 	touch $@
 
@@ -275,3 +274,6 @@ override_dh_installdocs:
 .PHONY: override_dh_missing
 override_dh_missing:
 	dh_missing --fail-missing
+
+override_dh_autoreconf:
+	./autogen