diff options
Diffstat (limited to 'bfd/configure')
| -rwxr-xr-x | bfd/configure | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bfd/configure b/bfd/configure index 0e57f5dce78..9f2793dd2b8 100755 --- a/bfd/configure +++ b/bfd/configure @@ -1118,7 +1118,7 @@ fi PACKAGE=bfd -VERSION=2.13.2 +VERSION=2.13.2.1 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; } @@ -1201,7 +1201,7 @@ fi # Uncomment the next line to remove the date from the reported bfd version -# is_release=y +is_release=y bfd_version=`echo "${VERSION}" | sed -e 's/\([^\.]*\)\.*\([^\.]*\)\.*\([^\.]*\)\.*\([^\.]*\)\.*\([^\.]*\).*/\1.00\2.00\3.00\4.00\5/' -e 's/\([^\.]*\)\..*\(..\)\..*\(..\)\..*\(..\)\..*\(..\)$/\1\2\3\4\5/'` |