scripts/php_options is changed to php4_options. So it should be removed.

PR:		ports/53498
Submitted by:	Alex Dupre <sysadmin@alexdupre.com> (maintainer)
Pointy hat to:	myself

1 files changed, 0 insertions, 59 deletions

diff --git a/lang/php5/scripts/php_options b/lang/php5/scripts/php_options
deleted file mode 100644
index b30288950a6a..000000000000
--- a/lang/php5/scripts/php_options
+++ /dev/null
@@ -1,59 +0,0 @@
-WITH_BCMATH=OFF
-WITH_BZIP2=OFF
-WITH_CALENDAR=OFF
-WITH_CRACK=OFF
-WITH_CTYPE=ON
-WITH_CURL=OFF
-WITH_DBASE=OFF
-WITH_DBX=OFF
-WITH_DOMXML=OFF
-WITH_DOMXSLT=OFF
-WITH_EXIF=OFF
-WITH_FILEPRO=OFF
-WITH_FTP=OFF
-WITH_GD=OFF
-WITH_GDBM=OFF
-WITH_GETTEXT=OFF
-WITH_GMP=OFF
-WITH_HYPERWAVE=OFF
-WITH_ICONV=OFF
-WITH_IMAP=OFF
-WITH_INTERBASE=OFF
-WITH_MBSTRING=OFF
-WITH_MCAL=OFF
-WITH_MCVE=OFF
-WITH_MCRYPT=OFF
-WITH_MHASH=OFF
-WITH_MIME=OFF
-WITH_MING=OFF
-WITH_MYSQL=ON
-WITH_NCURSES=OFF
-WITH_OPENLDAP=OFF
-WITH_OPENSSL=OFF
-WITH_ORACLE=OFF
-WITH_PCNTL=OFF
-WITH_PCRE=ON
-WITH_PDFLIB=OFF
-WITH_POSIX=ON
-WITH_POSTGRESQL=OFF
-WITH_PSPELL=OFF
-WITH_READLINE=OFF
-WITH_RECODE=OFF
-WITH_SESSION=ON
-WITH_SHMOP=OFF
-WITH_SNMP=OFF
-WITH_SOCKETS=OFF
-WITH_SYBASEDB=OFF
-WITH_SYBASECT=OFF
-WITH_SYSVSEM=OFF
-WITH_SYSVSHM=OFF
-WITH_TOKENIZER=ON
-WITH_UNIXODBC=OFF
-WITH_WDDX=OFF
-WITH_XML=ON
-WITH_XMLRPC=OFF
-WITH_XSLT=OFF
-WITH_YAZ=OFF
-WITH_YP=OFF
-WITH_ZIP=OFF
-WITH_ZLIB=ON