diff options
author | Tom Deseyn <tom.deseyn@gmail.com> | 2022-11-09 21:29:47 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-11-09 21:29:47 +0300 |
commit | 129de012b2c62b627b0465d579bcbb677ca60ff4 (patch) | |
tree | c16cc86840ada378d53a7249b026df8566baf001 | |
parent | c3438e04bbee1fb7890381113c8fbc810bcbeb35 (diff) |
source-build: don't use crossgen when building for mono runtime. (#44842)
-rw-r--r-- | eng/SourceBuild.props | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/eng/SourceBuild.props b/eng/SourceBuild.props index a034f88679..63ebed2d9c 100644 --- a/eng/SourceBuild.props +++ b/eng/SourceBuild.props @@ -55,6 +55,7 @@ <PropertyGroup> <InnerBuildArgs>$(InnerBuildArgs) /p:SourceBuildRuntimeIdentifier=$(TargetRuntimeIdentifier)</InnerBuildArgs> + <InnerBuildArgs Condition="'$(SourceBuildUseMonoRuntime)' == 'true'">$(InnerBuildArgs) /p:CrossgenOutput=false</InnerBuildArgs> </PropertyGroup> </Target> |