]> granicus.if.org Git - php/commitdiff
Removed useless include
authorDmitry Stogov <dmitry@zend.com>
Mon, 14 Sep 2015 22:46:53 +0000 (01:46 +0300)
committerDmitry Stogov <dmitry@zend.com>
Mon, 14 Sep 2015 22:46:53 +0000 (01:46 +0300)
ext/opcache/ZendAccelerator.c

index dd82371387c3383e681d942bf7407c4af6a38d34..d6fd2622eba61288060a709b8afa30ecc73c1057 100644 (file)
@@ -2483,7 +2483,6 @@ static void accel_gen_system_id(void)
 #ifdef HAVE_HUGE_CODE_PAGES
 # ifndef _WIN32
 #  include <sys/mman.h>
-#  include <sys/prctl.h>
 #  ifndef MAP_ANON
 #   ifdef MAP_ANONYMOUS
 #    define MAP_ANON MAP_ANONYMOUS