Trouble after patch to 1.3.88

Ulrich Windl (ulrich.windl@rrzc1.rz.uni-regensburg.de)
Mon, 15 Apr 1996 12:21:52 +0200

I patches my kernel tree from 1.3.85 to 1.3.88. It does not work any more:

bash# make dep
make[1]: Entering directory `/usr/src/linux-1.3.88/arch/i386/boot'
make[1]: Nothing to be done for `dep'.
make[1]: Leaving directory `/usr/src/linux-1.3.88/arch/i386/boot'
rm -f .hdepend
gawk -f scripts/depend.awk `find /usr/src/linux-1.3.88/include -name \*.h ! -nam
e modversions.h -print` > ..hdepend
gawk: fatal: can't open source file "scripts/depend.awk" for reading (No such fi
le or directory)
make: *** [.hdepend] Error 2

I just did a "make mrproper" as usual. Is there a bug in "make mrproper"?

Ulrich