comparison configure.in @ 10632:202c70b39c10

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

10631:dc245bfecc3b

  cat junk1.c junk2.c > Makefile.new
  rm -f junk.c junk1.c junk2.c
  chmod 444 Makefile.new
  mv -f Makefile.new Makefile
)
], [CPP="$CPP" CPPFLAGS="$CPPFLAGS"])

10632:202c70b39c10

  cat junk1.c junk2.c > Makefile.new
  rm -f junk.c junk1.c junk2.c
  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"])