1
0
mirror of https://github.com/rkd77/elinks.git synced 2024-06-26 01:15:37 +00:00

Merge branch 'master' into quickjs

This commit is contained in:
Witold Filipczyk 2021-11-04 16:54:03 +01:00
commit 816063401f

View File

@ -637,7 +637,7 @@ fi
# This option sets the $with_spidermonkey variable.
AC_ARG_WITH([spidermonkey],
[AS_HELP_STRING([--with-spidermonkey],
[disable SpiderMonkey Mozilla JavaScript engine support])])
[enable SpiderMonkey Mozilla Javascript engine])])
# CONFIG_SPIDERMONKEY is initially blank. We change it to "yes" or "no"
# when we know for sure whether we're going to use SpiderMonkey or not.
@ -730,7 +730,7 @@ AC_SUBST(CONFIG_ECMASCRIPT_SMJS_HEARTBEAT)
# ===================================================================
AC_ARG_ENABLE(sm-scripting,
[ --disable-sm-scripting ECMAScript browser scripting (requires Spidermonkey)],
[ --disable-sm-scripting disable ECMAScript browser scripting],
[if test "$enableval" != no; then enableval="yes"; fi
CONFIG_SCRIPTING_SPIDERMONKEY="$enableval";])