diff options
| author | David J. MacKenzie <[email protected]> | 1995-02-02 16:18:40 +0000 |
|---|---|---|
| committer | David J. MacKenzie <[email protected]> | 1995-02-02 16:18:40 +0000 |
| commit | 8b66759af7c1735a39bb43d2bb395c8f71978841 (patch) | |
| tree | bd1062a592b58318f466685c156cca38b91b190e | |
| parent | 86dfb30a1b80ffa3ef43581cb3f1bfe167a9dce7 (diff) | |
Create a .gdbinit that sources the real one, if using a different
build directory.
| -rw-r--r-- | configure.in | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/configure.in b/configure.in index 450093cfdf..5c27dc6fc2 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"]) |