projects / buildroot.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a8dc83b) | patch
package/spidermonkey: do not build the JavaScript shell, by default
authorCarlos Santos <unixmania@gmail.com>
Sun, 8 Mar 2020 03:21:28 +0000 (00:21 -0300)
committerThomas Petazzoni <thomas.petazzoni@bootlin.com>
Sun, 8 Mar 2020 13:51:12 +0000 (14:51 +0100)
commit04ce57ed24deef723d9a98693c9eae72e6cc90fb
treeab547f087bea7abdc7300e1bf84465be6096ba68tree
parenta8dc83b83a460d5aa787b2d8dfc5b786a7e83cd5commit | diff
package/spidermonkey: do not build the JavaScript shell, by default

Add a configuration to enable the JavaScript shell (default off). So
far only libmozjs is required (by polkit) and the shell takes around
24MiB.

Signed-off-by: Carlos Santos <unixmania@gmail.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
package/spidermonkey/0011-js-src-Makefile.in-install-shell-only-if-it-s-built.patch [new file with mode: 0644] blob
package/spidermonkey/Config.in diff | blob | history
package/spidermonkey/spidermonkey.mk diff | blob | history