Ignore:
Timestamp:
Feb 6, 2012, 1:45:03 PM (8 years ago)
Author:
and.damore@…
Message:

portgroup github: avoid renaming extracted directory to $worksrcpath if its name is already correct

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/dports/_resources/port1.0/group/github-1.0.tcl

    r89670 r89672  
    6868   
    6969    post-extract {
    70         if {"standard" == ${fetch.type} && ${master_sites} == ${github.master_sites} && [llength ${distfiles}] > 0} {
     70        if {![file exists ${worksrcpath}] && "standard" == ${fetch.type} && ${master_sites} == ${github.master_sites} && [llength ${distfiles}] > 0} {
    7171            move [glob ${workpath}/*] ${worksrcpath}
    7272        }
Note: See TracChangeset for help on using the changeset viewer.