diff options
author | Antony Dovgal <tony2001@php.net> | 2005-11-25 12:25:05 +0000 |
---|---|---|
committer | Antony Dovgal <tony2001@php.net> | 2005-11-25 12:25:05 +0000 |
commit | 350aec954e39d5c4ac55fa8f259d0104761120c3 (patch) | |
tree | 482980c89e9efb015736a61a3b7499d9f42b78fc | |
parent | 71071054293111203c1ba3ba48fa1901d4c9df12 (diff) | |
download | php-git-350aec954e39d5c4ac55fa8f259d0104761120c3.tar.gz |
MFH: ICC doesn't support __attribute__ for pointers
-rw-r--r-- | Zend/zend.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Zend/zend.h b/Zend/zend.h index f39f8456cb..34bf46448e 100644 --- a/Zend/zend.h +++ b/Zend/zend.h @@ -171,7 +171,7 @@ char *alloca (); # define ZEND_ATTRIBUTE_FORMAT(type, idx, first) #endif -#if ZEND_GCC_VERSION >= 3001 +#if ZEND_GCC_VERSION >= 3001 && !defined(__INTEL_COMPILER) # define ZEND_ATTRIBUTE_PTR_FORMAT(type, idx, first) __attribute__ ((format(type, idx, first))) #else # define ZEND_ATTRIBUTE_PTR_FORMAT(type, idx, first) |