diff options
author | Nick Clifton <nickc@redhat.com> | 2002-02-18 12:16:55 +0000 |
---|---|---|
committer | Nick Clifton <nickc@redhat.com> | 2002-02-18 12:16:55 +0000 |
commit | ef1355e8a09a27ef162dad8852e6e65f8890f29f (patch) | |
tree | a440050a6e35d1cba863aea98119640149399360 /bfd/configure | |
parent | ac3e50bf05b9682d2bede73eaaddf0a2327f15cb (diff) | |
download | gdb-ef1355e8a09a27ef162dad8852e6e65f8890f29f.zip gdb-ef1355e8a09a27ef162dad8852e6e65f8890f29f.tar.gz gdb-ef1355e8a09a27ef162dad8852e6e65f8890f29f.tar.bz2 |
Bump version number to 2.12.90
Diffstat (limited to 'bfd/configure')
-rwxr-xr-x | bfd/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bfd/configure b/bfd/configure index c6bbb80..022565d 100755 --- a/bfd/configure +++ b/bfd/configure @@ -1116,7 +1116,7 @@ fi PACKAGE=bfd -VERSION=2.11.93 +VERSION=2.12.90 if test "`cd $srcdir && pwd`" != "`pwd`" && test -f $srcdir/config.status; then { echo "configure: error: source directory already configured; run "make distclean" there first" 1>&2; exit 1; } |