diff options
| author |  Stephane Glondu <steph@glondu.net> | 2008-07-28 16:02:00 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2008-07-28 16:07:12 +0200 |
| commit | 10a7bc14dc87b57b022facbbbf3b31d74a4445e5 (patch) | |
| tree | 022d780ba78058c131838eee24ec3c35be40fdc6 | |
| parent | 3113f65a3dd4bbe1833dcf78fb21abd958dcdb04 (diff) | |
Add install-stamp
...so that install is not invoked twice when binary-indep and
binary-arch are invoked separately
| -rwxr-xr-x | debian/rules | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/debian/rules b/debian/rules index 44dac55d..a9bd3b67 100755 --- a/debian/rules +++ b/debian/rules @@ -57,7 +57,7 @@ build-stamp: patch-stamp configure-stamp clean: unpatch dh_testdir dh_testroot - rm -f build-stamp configure-stamp opt-stamp + rm -f build-stamp configure-stamp opt-stamp install-stamp [ ! -f config/Makefile ] || $(MAKE) clean [ ! -f config/Makefile ] || $(MAKE) archclean @@ -72,7 +72,8 @@ clean: unpatch dh_clean -install: build +install: install-stamp +install-stamp: build-stamp dh_testdir dh_testroot dh_clean -k @@ -115,6 +116,7 @@ install: build rm -f $(COQPREF)/usr/lib/coq/ide/utf8.v $(COQPREF)/usr/lib/coq/ide/FAQ dh_install --sourcedir=$(COQPREF) --list-missing + touch install-stamp binary-common: dh_testdir |