diff options
Diffstat (limited to 'lang/spidermonkey91/files/patch-moz.configure')
| -rw-r--r-- | lang/spidermonkey91/files/patch-moz.configure | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/lang/spidermonkey91/files/patch-moz.configure b/lang/spidermonkey91/files/patch-moz.configure deleted file mode 100644 index 94ae8c5f0b07..000000000000 --- a/lang/spidermonkey91/files/patch-moz.configure +++ /dev/null @@ -1,14 +0,0 @@ -- Fix awk detection - -Index: moz.configure ---- moz.configure.orig 2022-03-30 19:25:49 UTC -+++ moz.configure -@@ -708,7 +708,7 @@ add_old_configure_assignment("CLANG_PLUGIN", clang_plu - - # Awk detection - # ============================================================== --awk = check_prog("AWK", ("gawk", "mawk", "nawk", "awk")) -+awk = check_prog('AWK', ('awk',)) - - # Until the AWK variable is not necessary in old-configure - |