diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-02-22 08:51:26 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-02-22 08:51:26 +0100 |
| commit | 7e6dcd9995b99e894b8017f09016c405b066ca36 (patch) | |
| tree | 4a7b37b6c622abe872d141918375cb90d378f4c1 /contrib/devtools/github-merge.py | |
| parent | 7cad84929907c4294f07377453aa77887911b486 (diff) | |
random: Add fallback if getrandom syscall not available
If the code was compiled with newer (>=3.17) kernel headers but executed
on a system without the system call, every use of random would crash the
program. Add a fallback for that case.
Diffstat (limited to 'contrib/devtools/github-merge.py')
0 files changed, 0 insertions, 0 deletions