summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorEric Anholt <eric@anholt.net>2008-06-12 10:56:37 -0700
committerEric Anholt <eric@anholt.net>2008-06-12 10:56:37 -0700
commitcc74ac359053e95fd79d7011a2e18defcefb5c19 (patch)
tree075eaadd9e91c6ab5d3c7369dad5317155845b62 /.gitignore
parentb2606e325ac02782297def5ce27028c7fe2287c8 (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