build errors in fiasco kernel contained in l4re-core-2011021416 with JDB disabled

[Adam Lackorzynski]

On Tue Feb 15, 2011 at 14:22:00 +0100, Christoph Szeppek wrote:
> when trying to build the kernel contained in l4re-core-2011021416
> (from download page) with JDB disabled, I receive the following error
> messages:

Thanks, fix queued.


Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/