diff options
| author | Guilhem Moulin <guilhem@fripost.org> | 2020-01-29 13:55:15 +0100 |
|---|---|---|
| committer | Guilhem Moulin <guilhem@fripost.org> | 2020-01-29 14:15:04 +0100 |
| commit | a038c0ef4e2c29527e76f5eec9827e068bf3bad7 (patch) | |
| tree | 4a0e62d474cbb2cceff8444bed7523f5af1b78d1 /debian/patches/series | |
| parent | a107f87f856c9ce06a3720087288c74aa9666989 (diff) | |
Avoid running randomized tests on the build daemons.debian/0.5-1
Diffstat (limited to 'debian/patches/series')
| -rw-r--r-- | debian/patches/series | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series index 649d1d8..991f992 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,2 +1,3 @@ Ignore-custom-lib-PATH.patch Mention-the-Debian-BTS-in-the-manpages.patch +Skip-randomized-tests.patch |