-
Type:
Bug
-
Resolution: Unresolved
-
Priority:
P4
-
Affects Version/s: 26
-
Component/s: infrastructure
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).