avoid local shell variables intruding the resulting environment (via "set -o allexport" in getsettings);
authorwenzelm
Fri Sep 15 19:56:23 2017 +0200 (21 months ago)
changeset 666672e580fcf6522
parent 66666 1a620647285c
child 66668 6019cfb8256c
avoid local shell variables intruding the resulting environment (via "set -o allexport" in getsettings);
lib/scripts/getfunctions
     1.1 --- a/lib/scripts/getfunctions	Fri Sep 15 17:50:52 2017 +0200
     1.2 +++ b/lib/scripts/getfunctions	Fri Sep 15 19:56:23 2017 +0200
     1.3 @@ -70,6 +70,7 @@
     1.4  #classpath
     1.5  function classpath ()
     1.6  {
     1.7 +  local X=""
     1.8    for X in "$@"
     1.9    do
    1.10      if [ -z "$ISABELLE_CLASSPATH" ]; then
    1.11 @@ -98,6 +99,7 @@
    1.12  {
    1.13    SPLITARRAY=()
    1.14    local IFS="$1"; shift
    1.15 +  local X=""
    1.16    for X in $*
    1.17    do
    1.18      SPLITARRAY["${#SPLITARRAY[@]}"]="$X"
    1.19 @@ -149,6 +151,7 @@
    1.20  #init component forest
    1.21  function init_components ()
    1.22  {
    1.23 +  local REPLY=""
    1.24    local BASE="$1"
    1.25    local CATALOG="$2"
    1.26    local COMPONENT=""