[Pkg-ocaml-maint-commits] [alt-ergo] 05/11: debian/rules clean target : execute ony when config.status exists
Ralf Treinen
treinen at moszumanska.debian.org
Tue Dec 30 18:13:01 UTC 2014
This is an automated email from the git hooks/post-receive script.
treinen pushed a commit to branch experimental/master
in repository alt-ergo.
commit 476fbaca9cb566c5dbc6bde2cd2f72d664d186a8
Author: Ralf Treinen <treinen at free.fr>
Date: Tue Dec 30 18:22:25 2014 +0100
debian/rules clean target : execute ony when config.status exists
---
debian/changelog | 4 +++-
debian/rules | 2 +-
2 files changed, 4 insertions(+), 2 deletions(-)
diff --git a/debian/changelog b/debian/changelog
index be3ede0..49b3664 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -2,8 +2,10 @@ alt-ergo (0.99.1+dfsg1-1) unstable; urgency=medium
* New upstream version.
* debian/copyright: add Files-Excluded: nonfree
+ * debian/rules override for dh_auto_clean target: call "make clean" only
+ when config.status present.
- -- Ralf Treinen <treinen at debian.org> Tue, 30 Dec 2014 18:10:30 +0100
+ -- Ralf Treinen <treinen at debian.org> Tue, 30 Dec 2014 18:22:06 +0100
alt-ergo (0.95.2-3) sid; urgency=medium
diff --git a/debian/rules b/debian/rules
index 4c34b64..2935c15 100755
--- a/debian/rules
+++ b/debian/rules
@@ -12,7 +12,7 @@ override_dh_auto_install:
$(MAKE) DESTDIR=debian/tmp install install-gui install-pack
override_dh_auto_clean:
- if [ -f Makefile ]; then \
+ if [ -f config.status ]; then \
$(MAKE) dist-clean; \
fi
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git
More information about the Pkg-ocaml-maint-commits
mailing list