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

build directory.
This commit is contained in:
David J. MacKenzie 1995-02-02 16:18:40 +00:00
parent 86dfb30a1b
commit 8b66759af7

View file

@ -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"])