[Webkit-unassigned] [Bug 135544] [GTK] Install all unstable webkitdom headers

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=135544





--- Comment #6 from Michael Catanzaro <mcatanzaro at gnome.org>  2014-08-03 07:34:53 PST ---
(In reply to comment #2)
> This still runs at configuration time, so won't this fail before the files are generated?

Yes, my patch in bogus. I failed to removed my DerivedSources directory (maybe Carlos's problem too?) so any change at all to CMakeLists would have "fixed" this issue for me.

Carlos's patch actually works; I think that's the best approach.

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.