diff options
Diffstat (limited to 'lang/php71')
| -rw-r--r-- | lang/php71/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lang/php71/Makefile b/lang/php71/Makefile index efa6a2a1d2de..0936c937e2ab 100644 --- a/lang/php71/Makefile +++ b/lang/php71/Makefile @@ -55,7 +55,6 @@ CGI_DESC= Build CGI version FPM_DESC= Build FPM version EMBED_DESC= Build embedded library PHPDBG_DESC= Interactive PHP debugger -DTRACE_DESC= Enable DTrace support MAILHEAD_DESC= Enable mail header patch LINKTHR_DESC= Link thread lib (for threaded extensions) ZTS_DESC= Force Zend Thread Safety (ZTS) build |