permission issues when running make

[Maurizio Cimadamore]

Hi,
I sometimes encounter this (consolidated repo only):

$ make
/usr/bin/tee: /bin/mkdir: /build.logcannot create directory 
‘/make-support’: Permission denied: Permission denied

/usr/bin/tee: /build.log: Permission denied
Building target 'default (exploded-image)' in configuration 
'linux-x86_64-normal-server-release'
/w/lt/amber/dev/make/Init.gmk:291: recipe for target 'main' failed
make[1]: *** [main] Error 1


This goes away if I do a full configure.

Why is the build attempting to create folders into '/' ?

Maurizio