diff options
| -rw-r--r-- | sdkmanager/libs/sdklib/src/com/android/sdklib/SdkManager.java | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/sdkmanager/libs/sdklib/src/com/android/sdklib/SdkManager.java b/sdkmanager/libs/sdklib/src/com/android/sdklib/SdkManager.java index ad9e390..32c5838 100644 --- a/sdkmanager/libs/sdklib/src/com/android/sdklib/SdkManager.java +++ b/sdkmanager/libs/sdklib/src/com/android/sdklib/SdkManager.java @@ -335,8 +335,10 @@ public final class SdkManager { // Ant properties FileWrapper sdkPropFile = new FileWrapper(platformFolder, SdkConstants.FN_SDK_PROP); - Map<String, String> antProp = ProjectProperties.parsePropertyFile( - sdkPropFile, log); + Map<String, String> antProp = null; + if (sdkPropFile.isFile()) { // obsolete platforms don't have this. + antProp = ProjectProperties.parsePropertyFile(sdkPropFile, log); + } if (antProp != null) { map.putAll(antProp); |