Fail on missing API options

(cherry picked from commit c949f3e)
graalvm · Sep 18, 2023 · 7517751 · 7517751
1 parent d1cb851
commit 7517751
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/...ratevm/src/com.oracle.svm.core/src/com/oracle/svm/core/option/SubstrateOptionsParser.java b/...ratevm/src/com.oracle.svm.core/src/com/oracle/svm/core/option/SubstrateOptionsParser.java
@@ -195,7 +195,9 @@ public static String commandArgument(OptionKey<?> option, String value, String a
                     }
                 }
             }
-            return HOSTED_OPTION_PREFIX + value + option;
+            String optionString = HOSTED_OPTION_PREFIX + value + option;
+            assert apiOptionName == null : "The API option " + apiOptionName + " not found for " + optionString;
+            return optionString;
         } else {
             String apiOptionWithValue = null;
             for (APIOption apiOption : apiOptions) {