diff options
| author | Michael Wallner <mike@php.net> | 2015-01-30 22:32:00 +0100 |
|---|---|---|
| committer | Michael Wallner <mike@php.net> | 2015-01-30 22:32:00 +0100 |
| commit | 570ed1a1a4061da99839c47cece8f4ca560ea28f (patch) | |
| tree | 8f05a994391f61686dfc4afbe436a785e636e9b3 /main/php_ini.c | |
| parent | 7a94243402d95b227931004aa9d10a1b94aeaef8 (diff) | |
| download | php-git-570ed1a1a4061da99839c47cece8f4ca560ea28f.tar.gz | |
fix warnings
Diffstat (limited to 'main/php_ini.c')
| -rw-r--r-- | main/php_ini.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/main/php_ini.c b/main/php_ini.c index c8c5ad88f5..5703d1fc0d 100644 --- a/main/php_ini.c +++ b/main/php_ini.c @@ -357,6 +357,10 @@ static void php_load_zend_extension_cb(void *arg) char *filename = *((char **) arg); const int length = (int)strlen(filename); +#ifndef PHP_WIN32 + (void) length; +#endif + if (IS_ABSOLUTE_PATH(filename, length)) { zend_load_extension(filename); } else { |