[webkit-dev] build problem?

[Kevin Burnett]

On Jan 28, 2006, at 1:22 AM, Eric Seidel wrote:

> I've seen this too.  It's unfortunate.  It happens when you build  
> sometimes with "build-webkit" and sometimes from Xcode. I've not  
> found a solution yet to avoid it.
>
> To solve it however you just need to do this:
>
> rm /Users/kjb/WebKitStuff/JavaScriptCore.build/Deployment/ 
> JavaScriptCore.build/DerivedSources/grammar.*
>

looks like that did it, thanks!  I'll hold onto your email in case I  
run into it again.

- Kevin