| changeset 32390 | 468eff174a77 |
| parent 32322 | 45cb4a86eca2 |
| child 32391 | 5b9d7e578756 |
--- a/lib/Tools/findlogics Fri Aug 21 19:06:12 2009 +0200 +++ b/lib/Tools/findlogics Sat Aug 22 17:08:06 2009 +0200 @@ -25,7 +25,7 @@ declare -a LOGICS=() declare -a ISABELLE_PATHS=() -ORIG_IFS="$IFS"; IFS=":"; ISABELLE_PATHS=($ISABELLE_PATH); IFS=$ORIG_IFS +splitarray ":" "$ISABELLE_PATH"; ISABELLE_PATHS=("${SPLITARRAY[@]}") for DIR in "${ISABELLE_PATHS[@]}" do