com php-src: 5.4.42: configure.in main/php_version.h

Commit: 2fa226f60dd6f0911795dcc2dc8011f78e7655d9 Author: Stanislav Malyshev <stas@php.net> Tue, 9 Jun 2015 16:28:34 -0700 Parents: d1b8a26f811124958802b77060005d3b103ad20c Branches: PHP-5.4.42 Link: http://git.php.net/?p=php-src.git;a=commitdiff;h=2fa226f60dd6f0911795dcc2dc8011f78e7655d9 Log: 5.4.42 Changed paths: M configure.in M main/php_version.h Diff: diff --git a/configure.in b/configure.in index 85ef78b..39d4f95 100644 --- a/configure.in +++ b/configure.in @@ -120,7 +120,7 @@ int zend_sprintf(char *buffer, const char *format, ...); PHP_MAJOR_VERSION=5 PHP_MINOR_VERSION=4 PHP_RELEASE_VERSION=42 -PHP_EXTRA_VERSION="-dev" +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 263d129..6059f1e 100644 --- a/main/php_version.h +++ b/main/php_version.h @@ -3,6 +3,6 @@ #define PHP_MAJOR_VERSION 5 #define PHP_MINOR_VERSION 4 #define PHP_RELEASE_VERSION 42 -#define PHP_EXTRA_VERSION "-dev" -#define PHP_VERSION "5.4.42-dev" +#define PHP_EXTRA_VERSION "" +#define PHP_VERSION "5.4.42" #define PHP_VERSION_ID 50442