From 8b66759af7c1735a39bb43d2bb395c8f71978841 Mon Sep 17 00:00:00 2001 From: "David J. MacKenzie" Date: Thu, 2 Feb 1995 16:18:40 +0000 Subject: [PATCH] Create a .gdbinit that sources the real one, if using a different build directory. --- configure.in | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/configure.in b/configure.in index 450093cfdf8..5c27dc6fc22 100644 --- 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"]) -- 2.39.5