<pre style='margin:0'>
Joshua Root (jmroot) pushed a commit to branch master
in repository macports-base.

</pre>
<p><a href="https://github.com/macports/macports-base/commit/69f5d1bbf61982f425c56f865ca8f6340b15ee3a">https://github.com/macports/macports-base/commit/69f5d1bbf61982f425c56f865ca8f6340b15ee3a</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit 69f5d1bbf61982f425c56f865ca8f6340b15ee3a
</span>Author: Joshua Root <jmr@macports.org>
AuthorDate: Sat Oct 1 14:33:08 2022 +1000

<span style='display:block; white-space:pre;color:#404040;'>    portlint: allow new platforms format
</span>---
 src/port1.0/portlint.tcl | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/src/port1.0/portlint.tcl b/src/port1.0/portlint.tcl
</span><span style='display:block; white-space:pre;color:#808080;'>index ada972529..d445ace02 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/src/port1.0/portlint.tcl
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/src/port1.0/portlint.tcl
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -557,11 +557,12 @@ proc portlint::lint_main {args} {
</span> 
     if {[info exists platforms]} {
         foreach platform $platforms {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-            if {$platform ni $lint_platforms} {
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                ui_error "Unknown platform: $platform"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+            set platname [lindex $platform 0]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+            if {$platname ni $lint_platforms} {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                ui_error "Unknown platform: $platname"
</span>                 incr errors
             } else {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-                ui_info "OK: Found platform: $platform"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                ui_info "OK: Found platform: $platname"
</span>             }
         }
     }
</pre><pre style='margin:0'>

</pre>