I agree that this bug should be invalidated. It was caused by two
operator errors:
1) Not running the apply-patchset
2) Not having /debian in the linux-rt source tree (while the rest of the source
tree was there).
Following Alessio's steps above, I do get the debian directory that then
allows
Just a quick follow up on how the /debian in the linux-rt source tree
went missing - it gets cleaned out when your run a 'make distclean'. So
I guess the fundamental problem all along is mixing kernel.org style
kernel building with debian kernel building.
--
2.6.31-10-rt image does not match
apt-get source linux-image-2.6.31-10-rt
[ -e linux-rt-2.6.31/debian/ ]
echo $?
0
cd linux-rt-2.6.31
fakeroot debian/rules apply-patchset
cp /boot/config-2.6.31-10-rt .config
make oldconfig
echo $?
0
** Changed in: linux-rt (Ubuntu)
Status: New = Invalid
--
2.6.31-10-rt image does not