fi
for log in $args;do
base="${log%.log}"
+ if [ "$base" = "$log" ];then
+ base="${log%/log}"
+ if [ "$base" != "$log" ];then
+ base="$base/out"
+ fi
+ fi
if [ "$base" = "$log" -o "$log" != "${log%/gdb.log}" -o "$log" = "gdb.log" ];then
echo >&2 "file has no .log suffix or is gdb.log: $log"
continue