fi
rm -f "$base"/*.tar.bz2
chmod -x "$base"/*
- if ! (echo "$base"/*|grep -q '^[^ ]*[.]log [^ ]*[.]sum$');then
- echo >&2 "Error <$log>: Not two files .log+.sum:" "$base"/*
- exit 1
- fi
- mv -f "$base"/*.log "$base"/gdb.log
- mv -f "$base"/*.sum "$base"/gdb.sum
+# if ! (echo "$base"/*|grep -q '^[^ ]*[.]log [^ ]*[.]sum$');then
+# echo >&2 "Error <$log>: Not two files .log+.sum:" "$base"/*
+# exit 1
+# fi
+# mv -f "$base"/*.log "$base"/gdb.log
+# mv -f "$base"/*.sum "$base"/gdb.sum
done
echo OK