Diff

Differences From Artifact [02e30b0d8d]:

To Artifact [15e2d8c10c]:


66
67
68
69
70
71
72







73
74
75
76
77
78
79
80



81
82
83
84
85
86
87
			"threaded" {
				if {$value} {
					lappend args "--enable-threads"
				} else {
					lappend args "--disable-threads"
				}
			}







		}
	}

	catch {
		exec ./build/pre.sh
	}

	catch {



		exec $script $buildinfo(tcl_version) {*}$args > "${outfile}.log" 2>@1
	}

	catch {
		exec grep ^ {*}[glob */build.log] >> "${outfile}.log"
	}








>
>
>
>
>
>
>








>
>
>







66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
			"threaded" {
				if {$value} {
					lappend args "--enable-threads"
				} else {
					lappend args "--disable-threads"
				}
			}
			"storage" {
				lappend args "--enable-kit-storage=$value"
			}
			"staticmk4" {
			}
			"statictk" {
			}
		}
	}

	catch {
		exec ./build/pre.sh
	}

	catch {
		set fd [open "${outfile}.log" w]
		puts $fd "Running: [list $script $buildinfo(tcl_version) {*}$args]"
		close $fd
		exec $script $buildinfo(tcl_version) {*}$args > "${outfile}.log" 2>@1
	}

	catch {
		exec grep ^ {*}[glob */build.log] >> "${outfile}.log"
	}