commit 372b6f74b17fe1ef207bcda511dd71a93f792682
author Brian Carlstrom <bdc@google.com> Thu Sep 12 00:21:30 2013 -0700
committer Brian Carlstrom <bdc@google.com> Wed Sep 25 11:22:19 2013 -0700
tree 92d61f4588ae32706ed37a6206041c1d35fd5689
parent 64b28a0dcc174827e551f4c7e71e4268bd0f5bba

Enable runtime selection for art for user builds

Bug: 10069754
Change-Id: I4b9780b52d3aac900e5d4da629e3e6b22c3cb323

src/com/android/settings/DevelopmentSettings.java

diff --git a/src/com/android/settings/DevelopmentSettings.java b/src/com/android/settings/DevelopmentSettings.java
index 9269b27..52706a1 100644
--- a/src/com/android/settings/DevelopmentSettings.java
+++ b/src/com/android/settings/DevelopmentSettings.java
@@ -326,9 +326,7 @@
         Preference selectRuntime = findPreference(SELECT_RUNTIME_KEY);
         if (selectRuntime != null) {
             mAllPrefs.add(selectRuntime);
-            if (!removePreferenceForProduction(selectRuntime)) {
-                filterRuntimeOptions(selectRuntime);
-            }
+            filterRuntimeOptions(selectRuntime);
         }
 
         Preference hdcpChecking = findPreference(HDCP_CHECKING_KEY);