<pre style='margin:0'>
David Strubbe (dstrubbe) pushed a commit to branch master
in repository macports-ports.
</pre>
<p><a href="https://github.com/macports/macports-ports/commit/4bea7423ade91e22db7d2a2e7a546cfe6e641cf7">https://github.com/macports/macports-ports/commit/4bea7423ade91e22db7d2a2e7a546cfe6e641cf7</a></p>
<pre style="white-space: pre; background: #F8F8F8">The following commit(s) were added to refs/heads/master by this push:
<span style='display:block; white-space:pre;color:#404040;'> new 4bea7423ade mpi port group: Fix problem with writing two ports in the same mpi.enforce_variant line.
</span>4bea7423ade is described below
<span style='display:block; white-space:pre;color:#808000;'>commit 4bea7423ade91e22db7d2a2e7a546cfe6e641cf7
</span>Author: David Strubbe <dstrubbe@macports.org>
AuthorDate: Tue Mar 23 10:10:18 2021 -0700
<span style='display:block; white-space:pre;color:#404040;'> mpi port group: Fix problem with writing two ports in the same mpi.enforce_variant line.
</span>---
_resources/port1.0/group/mpi-1.0.tcl | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/_resources/port1.0/group/mpi-1.0.tcl b/_resources/port1.0/group/mpi-1.0.tcl
</span><span style='display:block; white-space:pre;color:#808080;'>index c433b2308c7..9deaf70658e 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/_resources/port1.0/group/mpi-1.0.tcl
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/_resources/port1.0/group/mpi-1.0.tcl
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -151,7 +151,7 @@ proc mpi_variant_name {} {
</span>
proc mpi.enforce_variant {args} {
global mpi.required_variants
<span style='display:block; white-space:pre;background:#ffe0e0;'>- lappend mpi.required_variants $args
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ append mpi.required_variants " $args"
</span> }
proc mpi.action_enforce_variants {ports} {
</pre><pre style='margin:0'>
</pre>