aboutsummaryrefslogtreecommitdiff
path: root/gas/configure
diff options
context:
space:
mode:
authorIan Lance Taylor <ian@airs.com>1999-07-15 11:58:23 +0000
committerIan Lance Taylor <ian@airs.com>1999-07-15 11:58:23 +0000
commit0ed15843924e05e7d9936566e69c4df873281694 (patch)
tree137e709ecf126890ad281de398730ab156ab25aa /gas/configure
parent3a6ae6163bd9acb9aee83af8cc8a48770d5a54f7 (diff)
downloadgdb-0ed15843924e05e7d9936566e69c4df873281694.zip
gdb-0ed15843924e05e7d9936566e69c4df873281694.tar.gz
gdb-0ed15843924e05e7d9936566e69c4df873281694.tar.bz2
* configure.in: Bump version number to 2.9.5.
* configure: Rebuild.
Diffstat (limited to 'gas/configure')
-rwxr-xr-xgas/configure2
1 files changed, 1 insertions, 1 deletions
diff --git a/gas/configure b/gas/configure
index 03e3d14..494d852 100755
--- a/gas/configure
+++ b/gas/configure
@@ -816,7 +816,7 @@ fi
PACKAGE=gas
-VERSION=2.9.4
+VERSION=2.9.5
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; }