diff options
| author | Matthew Vernon <matthew@debian.org> | 2017-12-04 05:26:39 +0000 |
|---|---|---|
| committer | Matthew Vernon <matthew@debian.org> | 2017-12-04 05:26:39 +0000 |
| commit | 6b73f9b4137716429eaae6b852c18eeec5e89837 (patch) | |
| tree | ec7e626b4f04d9df08b89f35cfacb8aebbb6eaba /debian/changelog | |
| parent | d69d22f98dea37c5dd8799a281f6aaf7b8b97a46 (diff) | |
Correctly increase stack limit
We want the increased stack size to apply to the make check step
(running it by itself doesn't achieve anything); also ignore a
permission error (which we get on freebsd) - if the tests succeed it
doesn't matter.
Diffstat (limited to 'debian/changelog')
0 files changed, 0 insertions, 0 deletions