diff --git a/eng/build.sh b/eng/build.sh index 2ad4483858..4477ea35db 100755 --- a/eng/build.sh +++ b/eng/build.sh @@ -309,7 +309,7 @@ function BuildSolution { BuildMessage="Error building tools" local args=("publish" "$repo_root/proto.proj" "$blrestore" "$bltools" "/p:Configuration=Proto" "/p:DotNetBuild=$product_build" "/p:DotNetBuildSourceOnly=$source_build" "/p:DotNetBuildFromVMR=$from_vmr" ${properties[@]+"${properties[@]}"}) echo $args - "$DOTNET_INSTALL_DIR/dotnet" "${args[@]}" #$args || exit $? + "$DOTNET_INSTALL_DIR/dotnet" "${args[@]}" || exit $? fi if [[ "$skip_build" != true ]]; then