Larry Gritz <l...@...>
On Feb 5, 2010, at 11:03 PM, Solomon Boulos wrote:
That's not actually true. We push when we first run the shader, and that doesn't change the runflags. And we need to, so that exit() will work correctly.
I suppose we could have an optional argument to push_runflags that says whether we expect the runflags to actually change, and modify the 'diverged' flag only in that case.