From fd470e3584c11cbacf7a58d1a4f44641587a20ea Mon Sep 17 00:00:00 2001 From: Thierry Crozat Date: Sat, 5 Mar 2016 23:16:55 +0000 Subject: [PATCH] BUILD: Fix comment for how we get the path to the Xcode Tools --- configure | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/configure b/configure index 7e3edbdbfff..31dbf5a5717 100755 --- a/configure +++ b/configure @@ -2355,8 +2355,7 @@ case $_host_os in fi fi - # If _xcodetoolspath is not set yet try first /Developers/Tools and then - # /Applications/Xcode.app/Contents/Developer/Tools + # If _xcodetoolspath is not set yet use xcode-select to get the path if test -z "$_xcodetoolspath"; then _xcodetoolspath=`xcode-select -print-path`/Tools if test -d "$_xcodetoolspath"; then