tree 06b484b6b97ce3ba11ecb7ff9add7f63dc8ea27e
parent 6a2697ffd7e894861853b351689b0ddec8901c96
author Bram Moolenaar <Bram@vim.org> 1447937208 +0100
committer Bram Moolenaar <Bram@vim.org> 1447937208 +0100

patch 7.4.924
Problem:    DEVELOPER_DIR gets reset by configure.
Solution:   Do not reset DEVELOPER_DIR when there is no --with-developer-dir
            argument. (Kazuki Sakamoto, closes #482)