Diff

Differences From Artifact [2a46940c88]:

To Artifact [0d787c6d5e]:


     1      1   #! /bin/bash
            2  +
            3  +function setup_tcl () {
            4  +	local vers envfile
            5  +
            6  +	for vers in "$@"; do
            7  +		envfile="${PROJROOTDIR}/platform.magic.env-8.5"
            8  +
            9  +		if [ ! -f "${envfile}" ]; then
           10  +			continue
           11  +		fi
           12  +
           13  +		source "${envfile}"
           14  +
           15  +		break
           16  +	done
           17  +}
     2     18   
     3     19   function setup_tcl85 () {
     4         -	source "${PROJROOTDIR}/platform.magic.env-8.5" 2>/dev/null
           20  +	setup_tcl 8.5 8.4
     5     21   }
     6     22   
     7     23   function setup_tcl84 () {
     8         -	source "${PROJROOTDIR}/platform.magic.env-8.4" 2>/dev/null
           24  +	setup_tcl 8.4 8.5
     9     25   }
    10     26   
    11     27   function not_platforms () {
    12     28   	local platform
    13     29   
    14     30   	for platform in "$@"; do
    15     31   		if [ "${PLATFORM}" = "${platform}" ]; then