GDB 5.1 branch cut

[Andrew Cagney]

The branch tag used was:  gdb_5_1-2001-07-29-branch
The branchpoint was marked with: gdb_5_1-2001-07-29-branchpoint

The branch should contain gdb/dejagnu or insight/dejagnu (depending on 
your view pont :-).

I'm still running around updating various things.

The fastest way to get your source tree onto the branch is to execute 
something like:

	ls -d GDB/src
	mkdir 51
	( cd GDB && tar cf - src ) | ( cd 51 && tar xpf - )
	cd 51
	cvs -d `cat src/CVS/Root` co -r gdb_5_1-2001-07-29-branch gdb dejagnu

i.e. do a CVS co over the top of an existing CVS repository.

	Andrew