On 27 Nov 2011, at 12:05, Sergei Gorelkin wrote: > But don't execute 'make clean all OPT=-dDISABLE_TLS_DIRECTORY' at the top-level directory, as in this case OPT is apparently ignored. I regularly use OPT at the top level myself and I've never seen it being ignored in that situation. Jonas