devel/py-PyExecJS/files/patch-execjs___external__runtime.py


1
2
3
4
5
6
7
8
9
10
11

--- execjs/_external_runtime.py.orig	2019-05-25 16:38:20 UTC
+++ execjs/_external_runtime.py
@@ -251,7 +251,7 @@ def jsc():
 def spidermonkey():
     return ExternalRuntime(
         name="SpiderMonkey",
-        command=["js"],
+        command=["js52"],
         runner_source=_runner_sources.SpiderMonkey,
         tempfile=True
     )