1 files changed, 5 insertions, 0 deletions
diff --git a/make/xcodemake b/make/xcodemake
index 4b0c29119..78c5ff390 100755
--- a/make/xcodemake
+++ b/make/xcodemake
@@ -100,6 +100,11 @@ fi
 if [ -n "$reconfigure" ]; then
     echo "reconfiguring ($reconfigure)"
 
+    ## respect PATH priority
+    export PATH="${PATH#$SYSTEM_DEVELOPER_BIN_DIR:}:${SYSTEM_DEVELOPER_BIN_DIR}"
+    echo "Unclobbering PATH:"
+    echo "    export PATH=\"${PATH}\""
+
     if [ "$EXTERNAL_DRIVER" == "bootstrap" ]; then
         driver="--xcode-driver=terminal"
     else