diff options
| author | Eric Anholt <eric@anholt.net> | 2008-06-12 10:56:37 -0700 |
|---|---|---|
| committer | Eric Anholt <eric@anholt.net> | 2008-06-12 10:56:37 -0700 |
| commit | cc74ac359053e95fd79d7011a2e18defcefb5c19 (patch) | |
| tree | 075eaadd9e91c6ab5d3c7369dad5317155845b62 /.gitignore | |
| parent | b2606e325ac02782297def5ce27028c7fe2287c8 (diff) | |
Don't clear USER_INTERRUPT if we're not handling it.
This fixes a regression from commit d434b64f6a760d85295e32298a9a1f3624ee1b69
which could cause us to fail to wake up for user interrupts if we lost a race.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions