> > FWIW, we see more problems on Ubuntu than any of the other Linux distros.
Hmmm... Sad, but I didn't know that. > If you want to tweak the messages to mention that the problem might be > a missing -dev or -dbg package I'll consider a suitably simple patch > though. > And although I think, giving distro-specific scripts in general are not a very good idea, a clearer error message would have be heaven. I'll surely submit a patch, if I can come up with something. *Robins*
