)}
function sumlog { find "$@" ! -name config.log -name "*.log" -o -name "*.sum"; }
function gdbcvscheckout {(set -ex
- test -d cvs || test -d gdb-cvs || (set +x;cvs -z3 -d :pserver:anoncvs:@sourceware.org:/cvs/src checkout gdb)
+ test -d src || test -d gdb-cvs || (set +x;cvs -z3 -d :pserver:anoncvs:@sourceware.org:/cvs/src checkout gdb)
mv src gdb-cvs
cd gdb-cvs
(set +x;cvs update)