diff options
Diffstat (limited to 'configure.pl')
| -rwxr-xr-x | configure.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configure.pl b/configure.pl index 50bdbe862..55b97729b 100755 --- a/configure.pl +++ b/configure.pl @@ -15,9 +15,9 @@ my $MAJOR_VERSION = 1; my $MINOR_VERSION = 8; my $PATCH_VERSION = 10; -my $VERSION_SUFFIX = '-dev'; +my $VERSION_SUFFIX = ''; -my $SO_PATCH_VERSION = 10; +my $SO_PATCH_VERSION = 2; my $VERSION_STRING = "$MAJOR_VERSION.$MINOR_VERSION.$PATCH_VERSION$VERSION_SUFFIX"; my $SO_VERSION_STRING = "$MAJOR_VERSION.$MINOR_VERSION.$SO_PATCH_VERSION$VERSION_SUFFIX"; |