> Could the configure wrapper just decline to configure with a > different set of options than last time (plus some advice on how to > solve the problem)? Now that we have config.status, we already > remember what was used before. I was also thinking this approach would be good. I'll wait to see if there's more comments, though. - Jon