-
Simon Peyton Jones authored
When reading an interface file, don't discard CPR info even if -fcpr-off is selected. The info describes what the .o file contains, so we can't ignore that!
1b853dc9
When reading an interface file, don't discard CPR info even if -fcpr-off is selected. The info describes what the .o file contains, so we can't ignore that!