commit 9682114687593b09d4903d7d130c38d9324d2cd6
author Søren Gjesse <sgjesse@google.com> Tue May 06 10:55:18 2025 +0200
committer Søren Gjesse <sgjesse@google.com> Tue May 06 10:55:18 2025 +0200
tree 284de5ad42baf868de16f2b8259cac9dd90ac9a5
parent 5e3cd9da3e2d2e2ec065ff0f343e5e3d73cfc2e0

Update handling of R8 partial system properties

Handle com.android.tools.r8.experimentalPartialShrinkingRandomizeSeed
without requiring com.android.tools.r8.experimentalPartialShrinkingRandomize

Change-Id: I3c2024faf0ded215cd9919c157e0384e5bc4d66f

src/main/java/com/android/tools/r8/partial/R8PartialCompilationConfiguration.java

diff --git a/src/main/java/com/android/tools/r8/partial/R8PartialCompilationConfiguration.java b/src/main/java/com/android/tools/r8/partial/R8PartialCompilationConfiguration.java
index 7d3f2c1..bb66350 100644
--- a/src/main/java/com/android/tools/r8/partial/R8PartialCompilationConfiguration.java
+++ b/src/main/java/com/android/tools/r8/partial/R8PartialCompilationConfiguration.java
@@ -129,7 +129,8 @@
   }
 
   public static R8PartialCompilationConfiguration fromSystemProperties(boolean printSeed) {
-    if (System.getProperty(RANDOMIZE_PROPERTY_NAME) != null) {
+    if (System.getProperty(RANDOMIZE_PROPERTY_NAME) != null
+        || System.getProperty(RANDOMIZE_SEED_PROPERTY_NAME) != null) {
       if (System.getProperty(RANDOMIZE_SEED_PROPERTY_NAME) != null) {
         long seed = Long.parseLong(System.getProperty(RANDOMIZE_SEED_PROPERTY_NAME));
         return builder().randomizeForTesting(printSeed, seed).build();