diff options
| -rw-r--r-- | configure.ac | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 88d3414d1958..03f36b9b8bc1 100644 --- a/configure.ac +++ b/configure.ac @@ -10564,7 +10564,9 @@ AC_SUBST(XRANDR_LIBS) AC_SUBST(ENABLE_RANDR) if test "$enable_neon" = "no" -o "$enable_mpl_subset" = "yes"; then - WITH_WEBDAV="serf" + if test -z "$WITH_WEBDAV"; then + WITH_WEBDAV="serf" + fi fi if test $_os = iOS -o $_os = Android; then WITH_WEBDAV="no" |