diff options
Diffstat (limited to 'tool/cktclsh.sh')
| -rw-r--r-- | tool/cktclsh.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tool/cktclsh.sh b/tool/cktclsh.sh new file mode 100644 index 0000000..1928a40 --- /dev/null +++ b/tool/cktclsh.sh @@ -0,0 +1,11 @@ +# Fail with an error if the TCLSH named in $2 is not tclsh version $1 or later. +# +echo "set vers $1" >cktclsh$1.tcl +echo 'if {$tcl_version<$vers} {exit 1}' >>cktclsh$1.tcl +if ! $2 cktclsh$1.tcl +then + echo "ERROR: This makefile target requires tclsh $1 or later." + rm cktclsh$1.tcl + exit 1 +fi +rm cktclsh$1.tcl |