Diff

Differences From Artifact [f8b2da0698]:

To Artifact [2810807ee8]:


44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
			foreach ext $failedexts {
				puts "  $ext"
			}
			exit 1
		}
	}
	"list" {
		set os "*"
		set cpu "*"
		if {[llength $argv] > 0} {
			set os [lindex $argv 0]
		}
		if {[llength $argv] > 1} {
			set cpu [lindex $argv 1]
		}








|
|







44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
			foreach ext $failedexts {
				puts "  $ext"
			}
			exit 1
		}
	}
	"list" {
		set os [string tolower $tcl_platform(os)]
		set cpu [string tolower $tcl_platform(machine)]
		if {[llength $argv] > 0} {
			set os [lindex $argv 0]
		}
		if {[llength $argv] > 1} {
			set cpu [lindex $argv 1]
		}