The following commit has been merged in the master branch:
commit 6caf4bb4b5c077698a1eccb7336316aa7343dfba
Author: Eugeniy Meshcheryakov <>
Date:   Sat Dec 3 14:58:42 2011 +0100

    Make more targets phony

diff --git a/debian/rules b/debian/rules
index 704d204..568fd58 100755
--- a/debian/rules
+++ b/debian/rules
@@ -65,3 +65,4 @@ override_dh_compress:
 .PHONY: build build-arch build-indep clean binary-indep binary-arch binary 
 .PHONY: override_dh_auto_configure override_dh_auto_build 
override_dh_auto_test override_dh_auto_install
+.PHONY: override_dh_auto_clean override_dh_compress

Debian packaging for coccinelle

Pkg-ocaml-maint-commits mailing list

Reply via email to