Changeset 41044


Ignore:
Timestamp:
Oct 21, 2008, 11:19:47 AM (12 years ago)
Author:
raimue@…
Message:

port1.0/portlint.tcl:
Use getresourcepath for group files

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/variant-descs-14482/base/src/port1.0/portlint.tcl

    r40953 r41044  
    147147
    148148proc lint_main {args} {
    149         global UI_PREFIX portname portpath porturl portresourcepath
     149        global UI_PREFIX portname portpath porturl
    150150        set portfile ${portpath}/Portfile
    151151        set portdirs [split ${portpath} /]
     
    155155        incr last -1
    156156        set portcatdir [lindex $portdirs $last]
    157         set groupdir ${portresourcepath}/group
    158157
    159158        set warnings 0
     
    310309    if (!$seen_portgroup) {
    311310        # PortGroup is optional, so missing is OK
    312     }  elseif {![file exists $groupdir/$portgroup-$portgroupversion.tcl]} {
     311    }  elseif {![file exists [getportresourcepath $porturl "port1.0/group/${portgroup}-${portgroupversion}.tcl"]]} {
    313312        ui_error "Unknown PortGroup: $portgroup-$portgroupversion"
    314313        incr errors
Note: See TracChangeset for help on using the changeset viewer.