[mono] Add a --path command line argument as an alternative to MONO_PATH. (#90678)
authorgithub-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Wed, 16 Aug 2023 20:22:34 +0000 (13:22 -0700)
committerGitHub <noreply@github.com>
Wed, 16 Aug 2023 20:22:34 +0000 (13:22 -0700)
commita37d1382047f6b6e79f4e1a6476fd48589d432a9
treea7a4a591c3de0fd2c78ade997beedcab98977260
parent322c85c11a4b8b1fd8ebdc3def52b8172262bb72
[mono] Add a --path command line argument as an alternative to MONO_PATH. (#90678)

Can be specified multiple times.

Co-authored-by: Zoltan Varga <vargaz@gmail.com>
src/mono/mono/mini/driver.c