com php-src: set release versions: configure.in main/php_vers ion.h

Commit: 721bcb2b7e7d283f89c300caed54a532e7fc5ddf Author: Anatol Belski <ab@php.net> Tue, 8 Nov 2016 13:17:14 +0100 Parents: c8ff491106f1bdb9f0c62875f52d51cfb461eb5d Branches: PHP-7.0.13 Link: http://git.php.net/?p=php-src.git;a=commitdiff;h=721bcb2b7e7d283f89c300caed54a532e7fc5ddf Log: set release versions Changed paths: M configure.in M main/php_version.h Diff: diff --git a/configure.in b/configure.in index b234780..29352e7 100644 --- a/configure.in +++ b/configure.in @@ -120,7 +120,7 @@ int zend_sprintf(char *buffer, const char *format, ...); PHP_MAJOR_VERSION=7 PHP_MINOR_VERSION=0 PHP_RELEASE_VERSION=13 -PHP_EXTRA_VERSION="RC1" +PHP_EXTRA_VERSION="" PHP_VERSION="$PHP_MAJOR_VERSION.$PHP_MINOR_VERSION.$PHP_RELEASE_VERSION$PHP_EXTRA_VERSION" PHP_VERSION_ID=expr [$]PHP_MAJOR_VERSION \* 10000 + [$]PHP_MINOR_VERSION \* 100 + [$]PHP_RELEASE_VERSION diff --git a/main/php_version.h b/main/php_version.h index ca0862f..593b391 100644 --- a/main/php_version.h +++ b/main/php_version.h @@ -3,6 +3,6 @@ #define PHP_MAJOR_VERSION 7 #define PHP_MINOR_VERSION 0 #define PHP_RELEASE_VERSION 13 -#define PHP_EXTRA_VERSION "RC1" -#define PHP_VERSION "7.0.13RC1" +#define PHP_EXTRA_VERSION "" +#define PHP_VERSION "7.0.13" #define PHP_VERSION_ID 70013