build: Detected Xcode clobbered PATH and reconfigure if necessary.

Improvement to 5c523dcaae9b69a3235a4b20631bc922afd028ca.

diff --git a/make/xcodemake b/make/xcodemake
index 78c5ff390b21bfd5846c01a30c3683d1f3766930..b627a83adcd1b9f0cbee8fea64c50b27991ffd55 100755 (executable)
--- a/make/xcodemake
+++ b/make/xcodemake
@@ -92,6 +92,8 @@ elif [ "$EXTERNAL_SRC/make/configure.py" -nt "$EXTERNAL_BUILD/GNUmakefile" ]; th
     reconfigure="configure script was updated"
 elif [ "$EXTERNAL_DRIVER" == "bootstrap" ]; then
     reconfigure="driver bootstrap"
+elif [ "${PATH#$SYSTEM_DEVELOPER_BIN_DIR}" != "${PATH}" ]; then
+    reconfigure="unclobber PATH"
 else
     reconfigure=
 fi