summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-09-06 13:40:56 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-09-06 13:40:56 +0200
commit21d2ab2e91dbff3db188f5c380069efe9c502cde (patch)
tree0a8a8e0f73a5f4be9a48455d3d6fb3283bd01c00 /debian
parentf49e0811abe4fc3c8248e3a9f55915ed5831e79a (diff)
rules: Rebuild info documentation once
(in the source tree) before building all variants in parallel. Closes: Bug#756909.
Diffstat (limited to 'debian')
-rwxr-xr-xdebian/rules12
1 files changed, 8 insertions, 4 deletions
diff --git a/debian/rules b/debian/rules
index 677d4e5..2eb8ce4 100755
--- a/debian/rules
+++ b/debian/rules
@@ -98,7 +98,11 @@ build-arch: build/stamp build-xen/stamp build-dbg/stamp build-xen-dbg/stamp
build-indep: build-arch
build: build-arch build-indep
-build/stamp: build/config.status
+doc/mach.info: build/config.status
+ dh_testdir
+ $(MAKE) -C build ../doc/mach.info
+
+build/stamp: build/config.status doc/mach.info
dh_testdir
ifneq (,$(filter nocheck,$(DEB_BUILD_OPTIONS)))
@@ -108,7 +112,7 @@ else
endif
touch $@
-build-xen/stamp: build-xen/config.status
+build-xen/stamp: build-xen/config.status doc/mach.info
dh_testdir
ifneq (,$(filter nocheck,$(DEB_BUILD_OPTIONS)))
@@ -118,7 +122,7 @@ else
endif
touch $@
-build-dbg/stamp: build-dbg/config.status
+build-dbg/stamp: build-dbg/config.status doc/mach.info
dh_testdir
ifneq (,$(filter nocheck,$(DEB_BUILD_OPTIONS)))
@@ -128,7 +132,7 @@ else
endif
touch $@
-build-xen-dbg/stamp: build-xen-dbg/config.status
+build-xen-dbg/stamp: build-xen-dbg/config.status doc/mach.info
dh_testdir
ifneq (,$(filter nocheck,$(DEB_BUILD_OPTIONS)))