Diff
Not logged in

Differences From Artifact [b9b96e7274]:

To Artifact [2454d82a5a]:


1138
1139
1140
1141
1142






1143
1144
1145
1146
1147
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
1150
1151
1152
1153





+
+
+
+
+
+





            lappend platforms $directory 
          } 
        } 
      } 
    } 
 
    if {[isEagle]} then { 
      file delete -recursive -- $temporaryDirectory 
    } else { 
      file delete -force -- $temporaryDirectory 
    } 
 
    return [lsort -unique $platforms] 
  } 
 
  #