Merge pull request #1447 from chrisvire/bug-25102

[mono.git] / mono / metadata / mono-config.c

diff --git a/mono/metadata/mono-config.c b/mono/metadata/mono-config.c
index 1e85012dd0fb002c192bb4b0c973ddfb8b02bcb1..c9e9e030b8c41354b5ddf2af83701ec657a40b3a 100644 (file)
--- a/mono/metadata/mono-config.c
+++ b/mono/metadata/mono-config.c
@@ -375,7 +375,6 @@ aot_cache_start (gpointer user_data,
        for (i = 0; attribute_names [i]; ++i) {
                if (!strcmp (attribute_names [i], "app")) {
                        config->apps = g_slist_prepend (config->apps, g_strdup (attribute_values [i]));
-                       return;
                }
        }
 
@@ -391,6 +390,8 @@ aot_cache_start (gpointer user_data,
                                config->assemblies = g_slist_prepend (config->assemblies, g_strdup (part));
                        }
                        g_strfreev (parts);
+               } else if (!strcmp (attribute_names [i], "options")) {
+                       config->aot_options = g_strdup (attribute_values [i]);
                }
        }
 }