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"
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"