Alf P. Steinbach a écrit : (snip) > Re efficiency it seems to be a complete non-issue, but correctness is > much more important: is there any way that the config details can be > (inadvertently) changed while the build is going on? +1