Create a .gdbinit that sources the real one, if using a different

build directory.

diff --git a/configure.in b/configure.in
index 450093cfdf886380a65facc2a9efe9df734dab1c..5c27dc6fc2280e08af92f10890f2836f75725b12 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -1327,4 +1327,10 @@ echo creating src/Makefile
   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"])