diff options
Diffstat (limited to 'java/eclipse/files/patch-production')
| -rw-r--r-- | java/eclipse/files/patch-production | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/java/eclipse/files/patch-production b/java/eclipse/files/patch-production deleted file mode 100644 index 32f05dffec4c..000000000000 --- a/java/eclipse/files/patch-production +++ /dev/null @@ -1,14 +0,0 @@ -diff -ru production/checkConfigIIUs.sh production/checkConfigIIUs.sh ---- production/checkConfigIIUs.sh 0000-00-00 00:00:00.000000000 +0000 -+++ production/checkConfigIIUs.sh 0000-00-00 00:00:00.000000000 +0000 -@@ -39,8 +39,8 @@ - - declare -a PLATFORMS=( \ - cocoa.macosx.x86_64 \ --gtk.linux.ppc64le \ --gtk.linux.x86_64 \ -+gtk.freebsd.powerpc64 \ -+gtk.freebsd.amd64 \ - win32.win32.x86_64 \ - ) - NPLATFORMS=${#PLATFORMS[@]} |