By the way, I still think we should modify our cmake build system to pass -DCMAKE_VERBOSE_MAKEFILE=ON It shows the commands executed by make, which is really useful when there is a build problem.
This would be the occasion to implement it in core-updates. What do you think? Andreas
