[7.2.393] Mac: Can't build with different Xcode developer tools directory.
commit37c0fcd3adf0ff82be9a3a2ca65a6ce287142d07
authorBram Moolenaar <Bram@moolenaar.net>
Wed, 10 Mar 2010 16:26:00 +0000 (10 16:26 +0000)
committerBram Moolenaar <Bram@moolenaar.net>
Wed, 10 Mar 2010 16:26:00 +0000 (10 16:26 +0000)
tree901cf7135c7444e25dd59d91da997c6dff38e52f
parent58bf69e133c502c323d0e50685ef4763b2ae8ed1
[7.2.393] Mac: Can't build with different Xcode developer tools directory.

Problem:    Mac: Can't build with different Xcode developer tools directory.

Solution:   make "Developer" directory name configurable. (Rainer Muller)

Patch 7.2.393
src/auto/configure
src/configure.in
src/version.c