make doctor should run even if configuration is out-of-date

XMLWordPrintable

      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).

            Assignee:
            Unassigned
            Reporter:
            Magnus Ihse Bursie
            Votes:
            0 Vote for this issue
            Watchers:
            0 Start watching this issue

              Created:
              Updated: