diff options
Diffstat (limited to 'dev-java/icedtea/files/8-ccache.patch')
| -rw-r--r-- | dev-java/icedtea/files/8-ccache.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/dev-java/icedtea/files/8-ccache.patch b/dev-java/icedtea/files/8-ccache.patch deleted file mode 100644 index c846dbae862..00000000000 --- a/dev-java/icedtea/files/8-ccache.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- openjdk/common/autoconf/generated-configure.sh.orig 2016-04-01 04:32:19.000000000 +0100 -+++ openjdk/common/autoconf/generated-configure.sh 2016-04-10 20:04:53.472885447 +0100 -@@ -35764,7 +35764,7 @@ - # precompiled headers. - { $as_echo "$as_me:${as_lineno-$LINENO}: checking if ccache supports precompiled headers" >&5 - $as_echo_n "checking if ccache supports precompiled headers... " >&6; } -- HAS_GOOD_CCACHE=`($CCACHE --version | head -n 1 | grep -E 3.1.[456789]) 2> /dev/null` -+ HAS_GOOD_CCACHE=`($CCACHE --version | head -n 1 | grep -E "3\.(1\.[456789]|[2-9])") 2> /dev/null` - if test "x$HAS_GOOD_CCACHE" = x; then - { $as_echo "$as_me:${as_lineno-$LINENO}: result: no, disabling ccache" >&5 - $as_echo "no, disabling ccache" >&6; } |