On Sun, 26 Jul 2015 22:05:00 +0200, Frank Ch. Eigler wrote: > GDB could grow a qCRC type packet for the remote file server, so as to let > it compare the remote files to the local ones. (Or even qRSYNC :-) build-id is there for that. Jan