From 611407db1e8be35d754f9efbc9d35c6b8b572ba0 Mon Sep 17 00:00:00 2001 From: Vojin Jovanovic Date: Wed, 13 Sep 2023 12:58:43 +0200 Subject: [PATCH] Fail on missing API options (cherry picked from commit c949f3e77137b3ac0adb763719cee527a07ae4f4) --- .../com/oracle/svm/core/option/SubstrateOptionsParser.java | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/substratevm/src/com.oracle.svm.core/src/com/oracle/svm/core/option/SubstrateOptionsParser.java b/substratevm/src/com.oracle.svm.core/src/com/oracle/svm/core/option/SubstrateOptionsParser.java index baaa69e0ec52..6247d2331dce 100644 --- a/substratevm/src/com.oracle.svm.core/src/com/oracle/svm/core/option/SubstrateOptionsParser.java +++ b/substratevm/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) {