diff options
-rwxr-xr-x | build.sh | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -89,6 +89,11 @@ check_prereqs() build_coreclr() { + if [ $__SkipCoreCLR == 1 ]; then + echo "Skipping CoreCLR build." + return + fi + # Event Logging Infrastructure __GeneratedIntermediate="$__IntermediatesDir/Generated" __GeneratedIntermediateEventProvider="$__GeneratedIntermediate/eventprovider_new" @@ -165,11 +170,6 @@ build_coreclr() "$__ProjectRoot/src/pal/tools/gen-buildsys-clang.sh" "$__ProjectRoot" $__ClangMajorVersion $__ClangMinorVersion $__BuildArch $__BuildType $__CodeCoverage $__IncludeTests $generator "$__cmakeargs" fi - if [ $__SkipCoreCLR == 1 ]; then - echo "Skipping CoreCLR build." - return - fi - # Check that the makefiles were created. if [ ! -f "$__IntermediatesDir/$buildFile" ]; then |