diff options
| author | Justus Winter <justus@gnupg.org> | 2016-10-15 18:15:13 +0200 |
|---|---|---|
| committer | Justus Winter <justus@gnupg.org> | 2016-10-15 21:36:38 +0200 |
| commit | 341f43df4b3688702746b5d0365c05d99fdeeb4e (patch) | |
| tree | 39fed14ef9709bc086b80a4466a4d7e06313fe0f /libps/Makefile | |
| parent | 355577bc99c91363a1b7828e81086031ce75979b (diff) | |
boot: Ignore EINTR.
* boot/boot.c (main): Ignore EINTR in the loop processing stdin.
Diffstat (limited to 'libps/Makefile')
0 files changed, 0 insertions, 0 deletions