diff options
Diffstat (limited to 'debian')
-rwxr-xr-x | debian/rules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index 6958031..77cc5dd 100755 --- a/debian/rules +++ b/debian/rules @@ -74,7 +74,7 @@ build-stamp: # Add here commands to compile the package. set -e; \ for dir in $(VARIETALS) ; do \ - $(MAKE) -C $$dir/lib; $(MAKE) -C $$dir/server; \ + $(MAKE) -C $$dir/lib all check; $(MAKE) -C $$dir/server; \ done $(MAKE) -C no-krb |