diff options
author | Bram Moolenaar <Bram@vim.org> | 2015-11-19 13:46:48 +0100 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2015-11-19 13:46:48 +0100 |
commit | 32d03b34ac8a34a962f57847fc431a2b4e14efea (patch) | |
tree | 06b484b6b97ce3ba11ecb7ff9add7f63dc8ea27e /src/auto | |
parent | 6a2697ffd7e894861853b351689b0ddec8901c96 (diff) |
patch 7.4.924v7.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)
Diffstat (limited to 'src/auto')
-rwxr-xr-x | src/auto/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/auto/configure b/src/auto/configure index f2f34d90c6..1acf7da2e3 100755 --- a/src/auto/configure +++ b/src/auto/configure @@ -4198,7 +4198,7 @@ if test "${with_developer_dir+set}" = set; then : withval=$with_developer_dir; DEVELOPER_DIR="$withval"; { $as_echo "$as_me:${as_lineno-$LINENO}: result: $DEVELOPER_DIR" >&5 $as_echo "$DEVELOPER_DIR" >&6; } else - DEVELOPER_DIR=""; { $as_echo "$as_me:${as_lineno-$LINENO}: result: not present" >&5 + { $as_echo "$as_me:${as_lineno-$LINENO}: result: not present" >&5 $as_echo "not present" >&6; } fi |