1
0
mirror of https://github.com/rkd77/elinks.git synced 2025-01-03 14:57:44 -05:00

Merge pull request #129 from OliveThePuffin/patch-1

Update configure.ac
This commit is contained in:
rkd77 2021-11-04 16:48:38 +01:00 committed by GitHub
commit b3541f250d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -637,7 +637,7 @@ fi
# This option sets the $with_spidermonkey variable. # This option sets the $with_spidermonkey variable.
AC_ARG_WITH([spidermonkey], AC_ARG_WITH([spidermonkey],
[AS_HELP_STRING([--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" # 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. # 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, 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 [if test "$enableval" != no; then enableval="yes"; fi
CONFIG_SCRIPTING_SPIDERMONKEY="$enableval";]) CONFIG_SCRIPTING_SPIDERMONKEY="$enableval";])