-
Bug
-
Resolution: Unresolved
-
P4
-
26
Basically, make doctor should behave as if CONF_CHECK=ignore was set. That configure is out of date can be pointed out by the doctor, but it should not be a blocker for actually running the doctor (and thus finding other potential problems).