# HG changeset patch # User wenzelm # Date 1250973060 -7200 # Node ID 5b9d7e578756f86daa12f4560d27d7c66fb00a08 # Parent 468eff174a77ab3f1b9af6b9774d2a7087f85ab5 less ambitious array operations -- for improved compatibility with older versions of bash; diff -r 468eff174a77 -r 5b9d7e578756 lib/Tools/findlogics --- a/lib/Tools/findlogics Sat Aug 22 17:08:06 2009 +0200 +++ b/lib/Tools/findlogics Sat Aug 22 22:31:00 2009 +0200 @@ -34,7 +34,7 @@ do if [ -f "$FILE" ]; then NAME=$(basename "$FILE") - LOGICS+=("$NAME") + LOGICS["${#LOGICS[@]}"]="$NAME" fi done done