diff options
-rwxr-xr-x | examples/jcov | 2 | ||||
-rwxr-xr-x | examples/jtime | 2 | ||||
-rwxr-xr-x | examples/jtrace | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/examples/jcov b/examples/jcov index 1508f4b..d993784 100755 --- a/examples/jcov +++ b/examples/jcov @@ -25,7 +25,7 @@ xtrace xcov # Catch exit but not error set rc [catch -noerror -exit {source $argv0} msg opts] -xtrace +xtrace {} proc show-coverage {filename} { set info $::coverage($filename) diff --git a/examples/jtime b/examples/jtime index 1f1929f..022f25d 100755 --- a/examples/jtime +++ b/examples/jtime @@ -31,7 +31,7 @@ xtrace jtime::xtrace # Catch exit but not error set rc [catch -noerror -exit {source $argv0} msg opts] -xtrace +xtrace {} set info $jtime::fileinfo($argv0) diff --git a/examples/jtrace b/examples/jtrace index 87aee8e..21acb8f 100755 --- a/examples/jtrace +++ b/examples/jtrace @@ -20,4 +20,4 @@ xtrace jtime::xtrace # Catch exit but not error set rc [catch -noerror -exit {source $argv0} msg opts] -xtrace +xtrace {} |