Diff

Differences From Artifact [2a46940c88]:

To Artifact [0d787c6d5e]:


1
2
3
4


















5
6
7
8

9
10
11
12
13
14
15
1
2


3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

24
25
26
27
28
29
30
31


-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+



-
+







#! /bin/bash

function setup_tcl85 () {
	source "${PROJROOTDIR}/platform.magic.env-8.5" 2>/dev/null
function setup_tcl () {
	local vers envfile

	for vers in "$@"; do
		envfile="${PROJROOTDIR}/platform.magic.env-8.5"

		if [ ! -f "${envfile}" ]; then
			continue
		fi

		source "${envfile}"

		break
	done
}

function setup_tcl85 () {
	setup_tcl 8.5 8.4
}

function setup_tcl84 () {
	source "${PROJROOTDIR}/platform.magic.env-8.4" 2>/dev/null
	setup_tcl 8.4 8.5
}

function not_platforms () {
	local platform

	for platform in "$@"; do
		if [ "${PLATFORM}" = "${platform}" ]; then