diff options
author | nork <nork@FreeBSD.org> | 2003-06-20 16:45:56 +0800 |
---|---|---|
committer | nork <nork@FreeBSD.org> | 2003-06-20 16:45:56 +0800 |
commit | 18d558d7b31957d2383170cfe0b27833b8f53f60 (patch) | |
tree | c64ea0a6e1d171ba01b6e10d9b1129aaac307bd9 /lang/php5 | |
parent | 06ffb947a4f1703a70a0049d051939c7dfea2c2d (diff) | |
download | freebsd-ports-gnome-18d558d7b31957d2383170cfe0b27833b8f53f60.tar.gz freebsd-ports-gnome-18d558d7b31957d2383170cfe0b27833b8f53f60.tar.zst freebsd-ports-gnome-18d558d7b31957d2383170cfe0b27833b8f53f60.zip |
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
Diffstat (limited to 'lang/php5')
-rw-r--r-- | lang/php5/scripts/php_options | 59 |
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 |