diff options
| author |  Karl Ramm <kcr@1ts.org> | 2009-04-30 17:07:09 +0000 |
|---|---|---|
| committer | Karl Ramm <kcr@1ts.org> | 2009-04-30 17:07:09 +0000 |
| commit | aab602b420a61bc5d8c7b06da7f50b0561a32cc9 (patch) | |
| tree | 80d18c93137af0c0cd32ca8d3ec14aba8722998e /debian | |
| parent | 255977c221eb20577ca9df6090fea2d10a117426 (diff) | |
convenient knob for disabling tests
Diffstat (limited to 'debian')
| -rwxr-xr-x | debian/rules | 5 |
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 |