[configure] Add option to disable device-related parts of the build.#67

rolfbjarne merged 1 commit into

dotnet:masterdotnet/macios:masterfrom

rolfbjarne:jenkinsrolfbjarne/macios:jenkinsCopy head branch name to clipboard