inotify: process all inotify events in one batch
When several inotify events happen, we don't have to process each event
separately, calling everytime repowatcher.read_events() to fetch events from
the underlying watcher: it is sufficient to call once read_events, to fetch
all the events from the watcher.
#!/bin/sh
hg init a
cd a
hg diff not found
echo bar > foo
hg add foo
hg ci -m 'add foo' -d '1000000 0'
echo foobar > foo
hg ci -m 'change foo' -d '1000001 0'
echo 'quiet:'
hg --quiet diff -r 0 -r 1
echo
echo 'normal:'
hg diff -r 0 -r 1
echo
echo 'verbose:'
hg --verbose diff -r 0 -r 1
echo
echo 'debug:'
hg --debug diff -r 0 -r 1
echo