changeset 32390 | 468eff174a77 |
parent 32322 | 45cb4a86eca2 |
child 33920 | d4d430dfabc6 |
--- a/bin/isabelle-process Fri Aug 21 19:06:12 2009 +0200 +++ b/bin/isabelle-process Sat Aug 22 17:08:06 2009 +0200 @@ -160,7 +160,7 @@ INFILE="" ISA_PATH="" - ORIG_IFS="$IFS"; IFS=":"; declare -a PATHS=($ISABELLE_PATH); IFS="$ORIG_IFS" + splitarray ":" "$ISABELLE_PATH"; PATHS=("${SPLITARRAY[@]}") for DIR in "${PATHS[@]}" do DIR="$DIR/$ML_IDENTIFIER"