[ug] 06/07: Refer to dune-common's get-orig-source script.

[Ansgar Burchardt]

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

ansgar pushed a commit to branch master
in repository ug.

commit 7bd40d89e058b3f2c658c12e603250988d449356
Author: Ansgar Burchardt <burchardt at igpm.rwth-aachen.de>
Date:   Mon Apr 7 14:18:48 2014 +0200

    Refer to dune-common's get-orig-source script.
---
 debian/rules | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/debian/rules b/debian/rules
index 9d801a6..988e7de 100755
--- a/debian/rules
+++ b/debian/rules
@@ -17,3 +17,6 @@ override_dh_auto_configure:
 
 override_dh_strip:
 	dh_strip --dbg-package=libug-dbg
+
+get-orig-source:
+	$(error Please use the get-orig-source script included in the dune-common source package)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/ug.git