changeset 4987 | 6a82655eda42 |
parent 4986 | 90a869b3f47a |
child 4988 | 4b69c7c7e09b |
4986:90a869b3f47a | 4987:6a82655eda42 |
---|---|
1 --- php-5.3.10/configure.in_orig Thu Feb 2 09:29:58 2012 |
|
2 +++ php-5.3.10/configure.in Thu Feb 2 18:30:51 2012 |
|
3 @@ -1445,7 +1445,11 @@ |
|
4 if test -n "$GCC" && test "$ZEND_INLINE_OPTIMIZATION" != "yes"; then |
|
5 flag=-O0 |
|
6 else |
|
7 - flag= |
|
8 + if test "$SUNCC" = "yes"; then |
|
9 + flag=-W2,-Ainline:inc=100 |
|
10 + else |
|
11 + flag= |
|
12 + fi |
|
13 fi |
|
14 |
|
15 PHP_ADD_SOURCES_X(Zend, zend_execute.c,,PHP_GLOBAL_OBJS,,$flag) |