Lars Marowsky-Bree (
Sat, 29 Jul 1995 23:58:19 +0200 (MET DST)

The file /usr/src/ is needed by some utilities, at least by
dosemu, to correctly resolve references kernel symbols.

But it gets deleted by a 'make clean'. I do not wish to have to keep binary
distributions of the kernel around forever, especially since kernel updates
aren't so frequent on my part (I will stay will 1.2.x as long as 1.3.x
doesn't introduce features I need). I believe this is true for a lot of
other people, too. Currently, before a make clean, I have to copy
out of the way before 'make clean'. This is not documented, and if somebody
forgets it, he has to recompile the entire kernel to generate it again.

So, I would like the following patch to get included into the standard
kernel: (this is against 1.2.11)

--- Makefile~ Tue Jul 25 14:18:26 1995
+++ Makefile Sat Jul 29 23:55:21 1995
@@ -225,7 +225,7 @@
rm -f kernel/ksyms.lst
rm -f core `find . -name '*.[oas]' -print`
rm -f core `find . -name 'core' -print`
- rm -f vmlinux
+ rm -f vmlinux
rm -f .tmp* drivers/sound/configure
rm -fr modules/*

It would be cleaner to just copy to some other location, like
/usr/src/linux/v1.x.xx/ or something like that and to have the
tools resolve it from there, but for now, I think this is good enough.

Lars Marowsky-Bree   Voice: +49-571-63663   PGP-key avail. via server
HomePage:     Mail:
PGP-Id: 0xDAB57941 / CF FC 3A F0 86 F1 D3 EB  79 8A CF 75 4F 4C 81 DF