[coreboot] gerrit/jenkis missing builds.

[Patrick Georgi]

Am 21.12.2011 03:28, schrieb Marc Jones:
> It looks like these patches didn't get built by jenkins.
Thanks for the notice.

> http://review.coreboot.org/#change,487
> http://review.coreboot.org/#change,488
I triggered these manually and will have to look into what happened
there originally.

> http://review.coreboot.org/#change,409
This one got tested, but it was found "unstable" by Jenkins, so it did a
-1 review, with no test result.


Patrick