That is what I have done for days now.
I believe that all necesarry tasks have been done by 
make build.
If I would start it again it had to rebuild all the 
libraries and so on.'make build' removes everything
that has been done allready :-(. On a slow hp300
it is quite a bad idea to run build for days once more 
just to see that it stops at the same error again.

What is the best incremental way?
 
        Bye   Brusi

            by           ab2@inf.tu-dresden.de

          \____/