| 
1494
1495
1496
1497
1498
1499
1500
1501
1502
1503
1504
1505
1506
1507
1508 | 
    }
    foreach line $lines {
      if {[string range $line 0 1] eq "F "} then {
        set fileName [lindex [split $line " "] 1]
        if {[string match $pattern $fileName]} then {
          set directory [lindex [file split $fileName] if {[string length $directory] > 0} then {
            lappend platforms $directory
          }
        }
      }
    }2] | 
|
 | 
1494
1495
1496
1497
1498
1499
1500
1501
1502
1503
1504
1505
1506
1507
1508
 | 
    }
    foreach line $lines {
      if {[string range $line 0 1] eq "F "} then {
        set fileName [lindex [split $line " "] 1]
        if {[string match $pattern $fileName]} then {
          set directory [lindex [file split $fileName] 3]
          if {[string length $directory] > 0} then {
            lappend platforms $directory
          }
        }
      }
    }
 |