[MrBot] Add build_reals option to gate reals libraries#584

dcristoloveanu wants to merge 1 commit intomasterAzure/c-util:masterfrom

feature/build-reals-optionAzure/c-util:feature/build-reals-optionCopy head branch name to clipboard