diff options
| author | Kevin Daudt <kdaudt@alpinelinux.org> | 2019-03-05 18:37:15 +0000 |
|---|---|---|
| committer | Kevin Daudt <kdaudt@alpinelinux.org> | 2019-04-14 17:05:05 +0000 |
| commit | 9efbadc1257334cbabc7f5426e2386f3dae18e15 (patch) | |
| tree | 7fcb843a357af503a636c18abbd77e1e4152c83f /non-free/compcert | |
| parent | 9c681468f2cf69a190085a7ea2956758093cbf7e (diff) | |
| download | aports-9efbadc1257334cbabc7f5426e2386f3dae18e15.tar.bz2 aports-9efbadc1257334cbabc7f5426e2386f3dae18e15.tar.xz | |
testing/redo: fix test relying on tty
One test fails on the builders because it relies on a tty being present.
Upstream has fixed this test to not rely on a tty anymore, but this has
not been released yet.
Apply the commit from upstream as a patch until a new version has been
released.
The previous patch to fix it does not work, so remove it.
Diffstat (limited to 'non-free/compcert')
0 files changed, 0 insertions, 0 deletions