>> So running 'make -n' before each "proper" 'make', i.e. spending 50 more >> seconds when building e.g. Creator, is needed after all? > > No, we don't actually know whether it takes 50 seconds without the -B switch. Does it? It will if you've just done a fresh checkout, a make clean, or used the "rebuild" command. /s/ Adam