diff options
Diffstat (limited to 'scripts/boost')
| -rw-r--r-- | scripts/boost/generate-ports.ps1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/boost/generate-ports.ps1 b/scripts/boost/generate-ports.ps1 index 619ba0061..992cf37a2 100644 --- a/scripts/boost/generate-ports.ps1 +++ b/scripts/boost/generate-ports.ps1 @@ -394,7 +394,7 @@ foreach ($library in $libraries) if ($libraries_in_boost_port.length -gt 1) {
# Generate master boost control file which depends on each individual library
- # mpi is excluded due to it having a dependency on msmpi
+ # mpi is excluded due to it having a dependency on msmpi/openmpi
$boostDependsList = @($libraries_in_boost_port | % { "boost-$_" } | ? { $_ -notmatch "boost-mpi" }) -join ", "
@(
|