diff options
| -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) |