I don't use the configtool, but i would of expected that when you change a configuration option it does the equivelent ofecosconfig tree so it remakes all the makefile. Please could you check if this is true. If not, it sounds like a configtool bug.
The "Generate Build Tree" create new makefiles.
