Error out if an unknown option is given in ENABLE_MINIMAL. (#47974)
authorZoltan Varga <vargaz@gmail.com>
Sun, 7 Feb 2021 16:30:37 +0000 (11:30 -0500)
committerGitHub <noreply@github.com>
Sun, 7 Feb 2021 16:30:37 +0000 (11:30 -0500)
commit92b17c0a20ff9518d8a44499caf247ae06e73cbc
tree695641f45e90ef74f80948db82d4d8bbce75c0c4
parentdfbef61d7bb94e0d888c804955c04c5b07e3709a
Error out if an unknown option is given in ENABLE_MINIMAL. (#47974)
src/mono/CMakeLists.txt
src/mono/mono.proj