Observations:
Not having it obvious in the kernel name that it was a kernel from the
nodebug repo caused a minor amount of confusion.
A normal rawhide kernel and a nodebug repo kernel both ended up with the
name 3.7.0-0.rc5.git1.3.fc19.
A normal rawhide nodebug kernel is still being built once per rc.
There seems to be a lot of variability in the lag of when a nodebug version
of any particular rawhide kernel.
Suggestions:
Instead of bumping the release number for nodebug kernels and the string
".nodebug" to the end of the release. For example:
3.7.0-0.rc5.git1.3.fc19.nodebug
Always build debug kernels for rawhide.
Automate building of nodebug kernels so that once a rawhide kernel has
successfully completed building in koji, the same kernel gets rebuilt
as a nodebug kernel. Check on the order of hourly.
_______________________________________________
kernel mailing list
kernel@xxxxxxxxxxxxxxxxxxxxxxx
https://admin.fedoraproject.org/mailman/listinfo/kernel
