From 570ed1a1a4061da99839c47cece8f4ca560ea28f Mon Sep 17 00:00:00 2001
From: Michael Wallner <mike@php.net>
Date: Fri, 30 Jan 2015 22:32:00 +0100
Subject: fix warnings

---
 main/php_ini.c | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'main/php_ini.c')

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 {
-- 
cgit v1.2.1