* Digby Tarvin <digbyt@acm.org> [Jun 05. 2001 13:25]:

Thanks for your suggestion. I tried your suggestion, but sadly it did not seem to result in any change to the .config file:

penemude:/usr/src/linux # gzip -cd /proc/config.gz > /usr/src/linux/.config penemude:/usr/src/linux # ls -l .config* -rw-r--r-- 1 root root 24724 Jun 5 21:22 .config -rw-r--r-- 1 root root 24724 Jun 5 19:04 .config.orig penemude:/usr/src/linux # diff .conf*

Any other ideas I can try?

Before any other make commands do: make oldconfig -- Mads Martin Joergensen, http://mmj.dk "Why make things difficult, when it is possible to make them cryptic and totally illogic, with just a little bit more effort." -- A. P. J.