diff options
| author | Peter Kokot <peterkokot@gmail.com> | 2017-07-22 08:21:11 +0200 |
|---|---|---|
| committer | Jakub Jirutka <jakub@jirutka.cz> | 2017-07-22 12:15:05 +0200 |
| commit | 121810bcff8260c176ea29e8faac877cec441475 (patch) | |
| tree | 221fbbe2a65073b7b9f9d41aaacc9a6b9a23fa3f | |
| parent | 7a8ddf515542b6dbb60c1d9d2ce60e66e4d9b06b (diff) | |
| download | aports-121810bcff8260c176ea29e8faac877cec441475.tar.bz2 aports-121810bcff8260c176ea29e8faac877cec441475.tar.xz | |
community/php7: remove duplicate configure option
This patch removes duplicate --enable-phpdbg option of configure
| -rw-r--r-- | community/php7/APKBUILD | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/community/php7/APKBUILD b/community/php7/APKBUILD index 91a21fbdc2..e22b75f344 100644 --- a/community/php7/APKBUILD +++ b/community/php7/APKBUILD @@ -332,7 +332,6 @@ build() { # phpdbg _build --enable-phpdbg \ - --enable-phpdbg \ --enable-phpdbg-webhelper \ --disable-cgi \ --disable-cli |