Flush stderr after write. stderr can be buffered under win32 when redirected to a file, including stdout.

#!/bin/sh

op=`basename $0 | sed -e 's/^git-//'`
exec hgit $op "$@"