Modified: trunk/base/src/port1.0/portlint.tcl (102569 => 102570)
--- trunk/base/src/port1.0/portlint.tcl 2013-02-04 22:32:17 UTC (rev 102569)
+++ trunk/base/src/port1.0/portlint.tcl 2013-02-04 22:32:20 UTC (rev 102570)
@@ -208,12 +208,13 @@
if {![info exists portgroup]} {
ui_error "Line $lineno has unrecognized PortGroup"
incr errors
- }
- if {[info exists portgroups($portgroup)]} {
- ui_error "Line $lineno repeats inclusion of PortGroup $portgroup"
- incr errors
} else {
- set portgroups($portgroup) $portgroupversion
+ if {[info exists portgroups($portgroup)]} {
+ ui_error "Line $lineno repeats inclusion of PortGroup $portgroup"
+ incr errors
+ } else {
+ set portgroups($portgroup) $portgroupversion
+ }
}
set seen_portgroup true
set require_blank true