[mini] Support loading multiple profilers with the --profile option.
authorAlex Rønne Petersen <alexrp@xamarin.com>
Mon, 17 Jul 2017 20:59:26 +0000 (22:59 +0200)
committerAlex Rønne Petersen <alexrp@xamarin.com>
Mon, 17 Jul 2017 21:35:20 +0000 (23:35 +0200)
commitd63f005908ff3b67474b9aae0c474707129a8283
treec2c70b8c372ae3dd0d70843b42971fca8be176ca
parent074c3e056ea9406a52da7305f86498563d551158
[mini] Support loading multiple profilers with the --profile option.

The runtime has ~always supported having multiple profilers loaded, so it
didn't make much sense that only the last --profile option given would be used.
mono/mini/driver.c
mono/mini/mini-runtime.c
mono/mini/mini.h