diff --git a/src/port1.0/portlint.tcl b/src/port1.0/portlint.tcl index 4eaf6bcdf8..feb12155fb 100644 --- a/src/port1.0/portlint.tcl +++ b/src/port1.0/portlint.tcl @@ -269,10 +269,6 @@ proc portlint::lint_platforms {platforms} { } } - if {$platforms eq "darwin"} { - lappend warnings "Unnecessary platforms line as darwin is the default" - } - return [list $errors $warnings] }