diff options
Diffstat (limited to 'debian')
-rwxr-xr-x | debian/rules | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index 7e53492..dadaacc 100755 --- a/debian/rules +++ b/debian/rules @@ -53,6 +53,7 @@ build-stamp: configure-stamp # Add here commands to compile the package. $(MAKE) $(NJOBS) ifeq ($(DEB_BUILD_GNU_TYPE),$(DEB_HOST_GNU_TYPE)) + ulimit -s hard $(MAKE) check VERBOSE=1 endif |