Changeset 223


Ignore:
Timestamp:
Aug 21, 2002, 7:38:11 AM (18 years ago)
Author:
jkh
Message:

Better attempt at making curl DTRT

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/base/src/port1.0/portfetch.tcl

    r222 r223  
    4949
    5050proc fetchfiles {args} {
    51     global distpath all_dist_files master_sites UI_PREFIX ports_quiet
     51    global distpath all_dist_files master_sites UI_PREFIX ports_quiet ports_verbose
    5252
    5353    if {![file isdirectory $distpath]} {
Note: See TracChangeset for help on using the changeset viewer.