What happens if you compile without giving -j8 to make?
I have tried my build also with the command "make clean" before this. It seems that the execution of the additional command "make depend" results in relevant differences eventually.
Do I expect too much when all dependencies should usually be checked automatically? Regards, Markus _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
