[aot] Rewrite the options parser to properly handle arguments.
authorJoão Matos <joao@tritao.eu>
Tue, 21 Jul 2015 17:15:46 +0000 (18:15 +0100)
committerJoão Matos <joao@tritao.eu>
Tue, 21 Jul 2015 18:09:30 +0000 (19:09 +0100)
commitfc7954340731cd100723d1e48d6d2a7a57a9dd5c
tree46ea29e6a4c54c19599dbe79d736d147785fecd1
parentf711ae8624752f950776794aa744fe18b57e0947
[aot] Rewrite the options parser to properly handle arguments.

Basically our previous behaviour was just splitting strings by "," which did not behave as expected when passing strings.

Fixes https://bugzilla.xamarin.com/show_bug.cgi?id=31996.
mono/mini/aot-compiler.c