changeset 32390 | 468eff174a77 |
parent 32322 | 45cb4a86eca2 |
child 33915 | 44a10fe6bd10 |
--- a/bin/isabelle Fri Aug 21 19:06:12 2009 +0200 +++ b/bin/isabelle Sat Aug 22 17:08:06 2009 +0200 @@ -17,7 +17,7 @@ ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd ..; pwd)" source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2 -ORIG_IFS="$IFS"; IFS=":"; declare -a TOOLS=($ISABELLE_TOOLS); IFS="$ORIG_IFS" +splitarray ":" "$ISABELLE_TOOLS"; TOOLS=("${SPLITARRAY[@]}") ## diagnostics