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

glondu pushed a commit to branch master
in repository eliom.

commit 4330d42e02f0702eae5f9368731d289d802f6081
Author: Stephane Glondu <st...@glondu.net>
Date:   Sun Nov 10 13:56:09 2013 +0100

    Run distclean only when Makefile.config is present
---
 debian/rules |    4 ++++
 1 file changed, 4 insertions(+)

diff --git a/debian/rules b/debian/rules
index 1a1c5b0..2ac1163 100755
--- a/debian/rules
+++ b/debian/rules
@@ -52,3 +52,7 @@ override_dh_auto_install:
 .PHONY: override_dh_install
 override_dh_install:
        dh_install --fail-missing
+
+.PHONY: override_dh_auto_clean
+override_dh_auto_clean:
+       [ ! -f Makefile.config ] || $(MAKE) distclean

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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to