diff options
| author | David J. MacKenzie | 1995-02-02 16:18:40 +0000 |
|---|---|---|
| committer | David J. MacKenzie | 1995-02-02 16:18:40 +0000 |
| commit | 8b66759af7c1735a39bb43d2bb395c8f71978841 (patch) | |
| tree | bd1062a592b58318f466685c156cca38b91b190e | |
| parent | 86dfb30a1b80ffa3ef43581cb3f1bfe167a9dce7 (diff) | |
| download | emacs-8b66759af7c1735a39bb43d2bb395c8f71978841.tar.gz emacs-8b66759af7c1735a39bb43d2bb395c8f71978841.zip | |
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 450093cfdf8..5c27dc6fc22 100644 --- a/configure.in +++ b/configure.in | |||
| @@ -1327,4 +1327,10 @@ echo creating src/Makefile | |||
| 1327 | chmod 444 Makefile.new | 1327 | chmod 444 Makefile.new |
| 1328 | mv -f Makefile.new Makefile | 1328 | mv -f Makefile.new Makefile |
| 1329 | ) | 1329 | ) |
| 1330 | |||
| 1331 | if test ! -f src/.gdbinit && test -f $top_srcdir/src/.gdbinit; then | ||
| 1332 | echo creating src/.gdbinit | ||
| 1333 | echo source $top_srcdir/src/.gdbinit > src/.gdbinit | ||
| 1334 | fi | ||
| 1335 | |||
| 1330 | ], [CPP="$CPP" CPPFLAGS="$CPPFLAGS"]) | 1336 | ], [CPP="$CPP" CPPFLAGS="$CPPFLAGS"]) |