diff options
Diffstat (limited to 'gnu/packages/patches/openjdk-14-builtins.patch')
| -rw-r--r-- | gnu/packages/patches/openjdk-14-builtins.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/gnu/packages/patches/openjdk-14-builtins.patch b/gnu/packages/patches/openjdk-14-builtins.patch deleted file mode 100644 index 0e7e3dcaa9..0000000000 --- a/gnu/packages/patches/openjdk-14-builtins.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- jdk14-bc54620a3848/make/autoconf/basics.m4 2020-02-07 04:40:54.000000000 +1030 -+++ jdk14-bc54620a3848-new/make/autoconf/basics.m4 2020-04-24 10:59:33.056098506 +0930 -@@ -583,7 +583,7 @@ - BASIC_SETUP_TOOL($1, [AC_PATH_PROGS($1, $2, , $3)]) - if test "x[$]$1" = x; then - AC_MSG_NOTICE([Required tool $2 not found in PATH, checking built-in]) -- if help $2 > /dev/null 2>&1; then -+ if command -v $2 > /dev/null 2>&1; then - AC_MSG_NOTICE([Found $2 as shell built-in. Using it]) - $1="$2" - else |