Does using `make -j1` change anything? I’ll pull it and give it a try later today. If all else fails we can just disable SVG. I just deleted Bison 3 after bootstrapping, so it’s not holding anything up for me. That doesn’t help anyone who needs both gstreamer and WebKit, though. Maybe bison 2.7.1 would work for both. Regards, John Ralls |