diff options
Diffstat (limited to 'lang/spidermonkey140/files/patch-js_src_Makefile.in')
| -rw-r--r-- | lang/spidermonkey140/files/patch-js_src_Makefile.in | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lang/spidermonkey140/files/patch-js_src_Makefile.in b/lang/spidermonkey140/files/patch-js_src_Makefile.in new file mode 100644 index 000000000000..2dca25000935 --- /dev/null +++ b/lang/spidermonkey140/files/patch-js_src_Makefile.in @@ -0,0 +1,11 @@ +Index: js/src/Makefile.in +--- js/src/Makefile.in.orig 2022-03-30 19:25:41 UTC ++++ js/src/Makefile.in +@@ -106,7 +106,6 @@ install:: + + install:: + $(MAKE) -C build install +- $(MAKE) -C shell install + + ifdef HAVE_DTRACE + javascript-trace.h: $(srcdir)/devtools/javascript-trace.d |