[interp] Make --interp= not override last set execution mode (#14683)
commit04f4db7b87c8f0c2c1987e007b458849d5d46238
authorVlad Brezae <brezaevlad@gmail.com>
Wed, 29 May 2019 07:02:23 +0000 (29 10:02 +0300)
committerGitHub <noreply@github.com>
Wed, 29 May 2019 07:02:23 +0000 (29 10:02 +0300)
tree79e9c81b105584ede28118ad0dc4f69fd6b3ac81
parentadd2a211b3abd49e33c1bf6496833687d80ec707
[interp] Make --interp= not override last set execution mode (#14683)

It makes sense to pass --interp (--interp=-inline) while having another execution mode previously set up (like --full-aot-interp).

Cleanup code a little bit by killing mono_enable_interp which doesn't do much.
mono/mini/driver.c