[Pkg-ocaml-maint-commits] [alt-ergo] 14/15: debian/rules: drop touching of configure

[Ralf Treinen]

This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository alt-ergo.

commit 15e39bf36bf98a78f27c7846d9a87499cab73699
Author: Ralf Treinen <treinen at pps.univ-paris-diderot.fr>
Date:   Tue Nov 5 16:36:36 2013 +0100

    debian/rules: drop touching of configure
---
 debian/changelog |    1 +
 debian/rules     |    3 ---
 2 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 6f9ad35..828bce8 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -15,6 +15,7 @@ alt-ergo (0.95.2-1) UNRELEASED; urgency=low
   * Add build-dependency on libzarith-ocaml-dev
   * debian/rules: drop backup of .depend which is no longer needed
   * debian/rules: drop setting of mandir in configure
+  * debian/rules: in dh_auto_build target, drop touching of configure
 
  -- Ralf Treinen <treinen at debian.org>  Tue, 05 Nov 2013 16:16:03 +0100
 
diff --git a/debian/rules b/debian/rules
index 25f16cf..f17e9eb 100755
--- a/debian/rules
+++ b/debian/rules
@@ -12,9 +12,6 @@ override_dh_auto_configure:
 	--libdir=$(OCAML_STDLIB_DIR)
 
 override_dh_auto_build:
-	# we have to assure that configure is newer than configure.in since
-	# patch 0005 patches them both (see bug #669539)
-	touch configure
 	$(MAKE) all gui
 
 override_dh_auto_install:

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git