diff options
Diffstat (limited to 'lang/spidermonkey91/files/patch-js_moz.configure')
| -rw-r--r-- | lang/spidermonkey91/files/patch-js_moz.configure | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/lang/spidermonkey91/files/patch-js_moz.configure b/lang/spidermonkey91/files/patch-js_moz.configure deleted file mode 100644 index ceec1a21abe7..000000000000 --- a/lang/spidermonkey91/files/patch-js_moz.configure +++ /dev/null @@ -1,11 +0,0 @@ ---- js/moz.configure.orig 2022-04-15 17:29:44 UTC -+++ js/moz.configure -@@ -919,7 +919,7 @@ has_readline = check_symbol( - - has_readline = check_symbol( - "readline", -- flags=["-lreadline"], -+ flags=["-lreadline", "-L%%LOCALBASE%%/lib"], - when="--enable-readline", - onerror=lambda: die("No system readline library found"), - ) |