<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>