mirror of
https://github.com/php/php-src.git
synced 2024-11-26 03:16:33 +08:00
ws fix
This commit is contained in:
parent
43825a76bb
commit
8ea8ebd2de
@ -3,9 +3,9 @@
|
||||
|
||||
AC_MSG_CHECKING(for Servlet support)
|
||||
AC_ARG_WITH(servlet,
|
||||
[ --with-servlet[=DIR] Include servlet support. DIR is the base install
|
||||
directory for the JSDK. This SAPI prereqs the
|
||||
java extension must be built as a shared dl.],
|
||||
[ --with-servlet[=DIR] Include servlet support. DIR is the base install
|
||||
directory for the JSDK. This SAPI prereqs the
|
||||
java extension must be built as a shared dl.],
|
||||
[
|
||||
if test "$withval" != "no"; then
|
||||
|
||||
@ -13,20 +13,20 @@ AC_ARG_WITH(servlet,
|
||||
SERVLET_CLASSPATH=.
|
||||
else
|
||||
if test -f $withval/lib/servlet.jar; then
|
||||
SERVLET_CLASSPATH=$withval/lib/servlet.jar
|
||||
SERVLET_CLASSPATH=$withval/lib/servlet.jar
|
||||
fi
|
||||
|
||||
if test -f $withval/lib/jsdk.jar; then
|
||||
SERVLET_CLASSPATH=$withval/lib/jsdk.jar
|
||||
SERVLET_CLASSPATH=$withval/lib/jsdk.jar
|
||||
fi
|
||||
|
||||
if test -d $withval/javax; then
|
||||
SERVLET_CLASSPATH=$withval
|
||||
SERVLET_CLASSPATH=$withval
|
||||
fi
|
||||
|
||||
if test -z "$SERVLET_CLASSPATH"; then
|
||||
AC_MSG_RESULT(no)
|
||||
AC_MSG_ERROR(unable to find servlet libraries)
|
||||
AC_MSG_RESULT(no)
|
||||
AC_MSG_ERROR(unable to find servlet libraries)
|
||||
fi
|
||||
fi
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user