Manually merging driver.c from https://github.com/mono/mono/pull/20159 (#40031)
authorThays Grazia <thaystg@gmail.com>
Tue, 28 Jul 2020 21:38:41 +0000 (18:38 -0300)
committerGitHub <noreply@github.com>
Tue, 28 Jul 2020 21:38:41 +0000 (16:38 -0500)
commit0f8768677e26bd80e3d3be01940c699c63e9106e
tree787f846d43884a3eea0b87f11ff63f66dfc2dc2c
parent87f016559967a9add507a80d5cc311eb008317ef
Manually merging driver.c from https://github.com/mono/mono/pull/20159 (#40031)
src/mono/wasm/runtime/driver.c