From c7b31da2f9211e27353c2ceb827067bbe8ab2e1f Mon Sep 17 00:00:00 2001
From: Andrey Vlasovskikh <andrey.vlasovskikh@gmail.com>
Date: Wed, 5 Sep 2012 19:44:55 +0400
Subject: [PATCH] Don't clean up builtins skeleton file even if we cannot parse
 its header (PY-7451)

---
 .../src/com/jetbrains/python/sdk/PySkeletonRefresher.java  | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/python/src/com/jetbrains/python/sdk/PySkeletonRefresher.java b/python/src/com/jetbrains/python/sdk/PySkeletonRefresher.java
index 01ff3c0880ff..dc344d99a1a2 100644
--- a/python/src/com/jetbrains/python/sdk/PySkeletonRefresher.java
+++ b/python/src/com/jetbrains/python/sdk/PySkeletonRefresher.java
@@ -470,13 +470,14 @@ public class PySkeletonRefresher {
         final String itemName = item.getName();
         if (PyNames.INIT_DOT_PY.equals(itemName) && item.length() == 0) continue; // these are versionless
         if (BLACKLIST_FILE_NAME.equals(itemName)) continue; // don't touch the blacklist
+        if (PythonSdkType.getBuiltinsFileName(mySdk).equals(itemName)) {
+          continue;
+        }
         final SkeletonHeader header = readSkeletonHeader(item);
         boolean canLive = header != null;
         if (canLive) {
           final String binaryFile = header.getBinaryFile();
-          final String builtinsFileName = PythonSdkType.getBuiltinsFileName(mySdk);
-          canLive = SkeletonVersionChecker.BUILTIN_NAME.equals(binaryFile) || builtinsFileName.equals(itemName) ||
-                    mySkeletonsGenerator.exists(binaryFile);
+          canLive = SkeletonVersionChecker.BUILTIN_NAME.equals(binaryFile) || mySkeletonsGenerator.exists(binaryFile);
         }
         if (!canLive) {
           mySkeletonsGenerator.deleteOrLog(item);