-
Mike Hibler authored
Fix from Mike Ryan. We got away without this because the GNUmakefile will run configure on those files when we did a make.
2b6575d3
Fix from Mike Ryan. We got away without this because the GNUmakefile will run configure on those files when we did a make.