diff options
| author | Colin Watson <cjwatson@debian.org> | 2017-01-03 14:01:56 +0000 |
|---|---|---|
| committer | Colin Watson <cjwatson@debian.org> | 2017-01-03 14:41:22 +0000 |
| commit | e346421ca6852fbf9f95cf0e764ecc345e5ce21d (patch) | |
| tree | c562595e2be32a7d1785090337ee684696cbb94d /debian/patches/sandbox-x32-workaround.patch | |
| parent | cc50ca70e3b438577c33a85147e2a68666deaad9 (diff) | |
Work around clock_gettime kernel bug on Linux x32
On Linux x32, the clock_gettime VDSO currently falls back to the x86-64
syscall, so allow that as well as its x32 sibling.
Bug-Debian: https://bugs.debian.org/849923
Forwarded: no
Last-Update: 2017-01-03
Patch-Name: sandbox-x32-workaround.patch
Diffstat (limited to 'debian/patches/sandbox-x32-workaround.patch')
0 files changed, 0 insertions, 0 deletions