-
Leigh B. Stoller authored
no-regeneration problem. This is the case that you change the defs file, but a particular script is not mentioned in configure.in. Personally, I hate that long list of filenames which is never up to date, and we are always running into the problem of things not getting regenerated.
65c74860