# HG changeset patch
# User David J. MacKenzie <djm@gnu.org>
# Date 791741920 0
# Node ID 202c70b39c1045b2d77f056041834cb2a7003e94
# Parent  dc245bfecc3bc67a2eef13441dbec1a41bcc4271
Create a .gdbinit that sources the real one, if using a different
build directory.

diff -r dc245bfecc3b -r 202c70b39c10 configure.in
--- a/configure.in	Thu Feb 02 09:50:23 1995 +0000
+++ b/configure.in	Thu Feb 02 16:18:40 1995 +0000
@@ -1327,4 +1327,10 @@
   chmod 444 Makefile.new
   mv -f Makefile.new Makefile
 )
+
+if test ! -f src/.gdbinit && test -f $top_srcdir/src/.gdbinit; then
+  echo creating src/.gdbinit
+  echo source $top_srcdir/src/.gdbinit > src/.gdbinit
+fi
+
 ], [CPP="$CPP" CPPFLAGS="$CPPFLAGS"])