summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Karl Ramm <kcr@1ts.org>2009-04-30 17:07:09 +0000
committerGravatar Karl Ramm <kcr@1ts.org>2009-04-30 17:07:09 +0000
commitaab602b420a61bc5d8c7b06da7f50b0561a32cc9 (patch)
tree80d18c93137af0c0cd32ca8d3ec14aba8722998e
parent255977c221eb20577ca9df6090fea2d10a117426 (diff)
convenient knob for disabling tests
-rwxr-xr-xdebian/rules5
1 files changed, 3 insertions, 2 deletions
diff --git a/debian/rules b/debian/rules
index 77cc5dd..7a36d8d 100755
--- a/debian/rules
+++ b/debian/rules
@@ -21,6 +21,7 @@ CONFIGURE_ROOT=--prefix=/usr --mandir=\$${prefix}/share/man \
CONFIGURE_krb5=--with-krb5=/usr
CONFIGURE_krb45=--with-krb4=/usr --with-krb5=/usr
CONFIGURE_krb=--with-krb4=/usr
+CHECK=check
# see /usr/share/doc/autotools-dev/README.Debian.gz
export DEB_HOST_GNU_TYPE ?= $(shell dpkg-architecture -qDEB_HOST_GNU_TYPE)
@@ -74,9 +75,9 @@ build-stamp:
# Add here commands to compile the package.
set -e; \
for dir in $(VARIETALS) ; do \
- $(MAKE) -C $$dir/lib all check; $(MAKE) -C $$dir/server; \
+ $(MAKE) -C $$dir/lib all $(CHECK); $(MAKE) -C $$dir/server; \
done
- $(MAKE) -C no-krb
+ $(MAKE) -C no-krb all $(CHECK)
touch build-stamp