Re: [PATCH] sched: leave sched_setscheduler earlier if possible.

Steven Rostedt
2011-03-25T12:52:58Z

On Fri, 2011-03-25 at 11:28 +0100, Peter Zijlstra wrote:
> On Thu, 2011-03-24 at 10:21 -0400, Steven Rostedt wrote:
> > > @@ -4998,6 +4998,16 @@ recheck:
> >
> > Peter, this is why I prefer:
> >
> > recheck:
> > over
> > recheck:
> >
> And you know I prefer to fix the tools ;-)

And when the tools are fixed, I'll also prefer

recheck:
over
recheck:

;-)

-- Steve