K 10
svn:author
V 5
luigi
K 8
svn:date
V 27
2001-02-19T23:36:35.000000Z
K 7
svn:log
V 180
Adapt the Makefile for kernel builds to the new script.
I am not convinced a Makefile is really the way to go for
building the kernel, but will fix that (if needed) in the future.

END