Linux: use an eventfd instead of pipe for waking up, if available
authorRémi Denis-Courmont <rdenis@simphalempin.com>
Sat, 17 Jan 2009 12:42:40 +0000 (14:42 +0200)
committerRémi Denis-Courmont <rdenis@simphalempin.com>
Sat, 17 Jan 2009 12:43:40 +0000 (14:43 +0200)
commitd9e21e4fc0dfc6a4c809acfbf2572013fba61ff0
treef7909227f206d2540361fcdadbfb195024401825
parent46d6a5a452c404fbcdc478a171c3f6ca95a23893
Linux: use an eventfd instead of pipe for waking up, if available
configure.ac
src/misc/objects.c