How about providing a make target that reruns ./configure with the same options as before, and does a "make clean", so that after refreshing a forest, you can refresh your build?
-- Jon
Sometimes, after updating a forest, you can get a message that the
generated configure is out of date and needs to be regenerated. Then,
when you regenerate it, you get warnings that you *should* do a make clean.
