I don't think so. I think this file is outdated. However, I preferred to add it anyway to keep track of the config options. (Certainly `rustc -C help` would be better)