Re: gzippedkernel

David Woodhouse (
Thu, 26 Feb 1998 12:51:07 +0000 said:
> I created two utilities to gzip most of the .c files in the kernel
> source, making it smaller and also made new rules for Makefile. So
> kernel compiling takes less space.

I like this. Given that the option of splitting the source into separate
chunks and only downloading the bits you need seems to have been rejected,
this would provide a suitable alternative.

There are still rough edges though. It needs a patch-kernel script so that
patches can be distributed in the same way as they are at the moment.

Something like:

for a in `diffstat $patchfile | grep -v changed | cut -f2 -d\ ` ; do
[ -r linux/$a ] || [ -r linux/$a.gz ] && gunzip linux/$a

patch -p0 < $patchfile

for a in `diffstat $patchfile | grep -v changed | cut -f2 -d\ ` ; do
[ -r linux/$a ] && gzip linux/$a

---- ---- ----
David Woodhouse, Robinson College, CB3 9AN, England. (+44) 0976 658355
finger for PGP key.

To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to