Diff

Differences From Artifact [5ca0ed49a5]:

To Artifact [1d3473f00d]:


14
15
16
17
18
19
20



21
22
23
24
25
26
27
}

foreach {arg val} $argv {
	switch -exact -- $arg {
		"--output" {
			set outputFile $val
		}



	}
}

proc remove_debug {input} {
	set output [list]

	set lastLine -







>
>
>







14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
}

foreach {arg val} $argv {
	switch -exact -- $arg {
		"--output" {
			set outputFile $val
		}
		"--header" {
			set headerFile $val
		}
	}
}

proc remove_debug {input} {
	set output [list]

	set lastLine -
46
47
48
49
50
51
52



53
54
55
56
57
58
59
		package require xvfs

		if {[info exists outputFile]} {
			set fd [open $outputFile w]
			::xvfs::setOutputChannel $fd
		}




		::xvfs::run $argv

		if {[info exists fd]} {
			close $fd
		}
	}
	"dump-tcl" {







>
>
>







49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
		package require xvfs

		if {[info exists outputFile]} {
			set fd [open $outputFile w]
			::xvfs::setOutputChannel $fd
		}

		if {[info exists headerFile]} {
			::xvfs::staticIncludeHeader $headerFile
		}
		::xvfs::run $argv

		if {[info exists fd]} {
			close $fd
		}
	}
	"dump-tcl" {