<p></p>
<p><a class="user-mention" data-hovercard-type="user" data-hovercard-url="/users/pmatilai/hovercard" data-octo-click="hovercard-link-click" data-octo-dimensions="link_type:self" href="https://github.com/pmatilai">@pmatilai</a> Coming back to this PR after a while, I wonder if silently disabling OpenMP (if the required version isn't available) is really what we want. Wouldn't it be better to just fail and let the user disable OpenMP explicitly with <code>--disable-openmp</code> if he/she decides so?</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br />You are receiving this because you are subscribed to this thread.<br />Reply to this email directly, <a href="https://github.com/rpm-software-management/rpm/pull/1325#issuecomment-684476437">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ADLPZU3YMBRT64SUAWRPSV3SDSKNTANCNFSM4PVPF73A">unsubscribe</a>.<img src="https://github.com/notifications/beacon/ADLPZUZFYJ2DBBRXPU45OOTSDSKNTA5CNFSM4PVPF73KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOFDGEQFI.gif" height="1" width="1" alt="" /></p>
<script type="application/ld+json">[
{
"@context": "http://schema.org",
"@type": "EmailMessage",
"potentialAction": {
"@type": "ViewAction",
"target": "https://github.com/rpm-software-management/rpm/pull/1325#issuecomment-684476437",
"url": "https://github.com/rpm-software-management/rpm/pull/1325#issuecomment-684476437",
"name": "View Pull Request"
},
"description": "View this Pull Request on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>