Diff
Not logged in

Differences From Artifact [1efe4aeeff]:

To Artifact [50eb9c028d]:


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] 2]

          if {[string length $directory] > 0} then {
            lappend platforms $directory
          }
        }
      }
    }







|







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
          }
        }
      }
    }