diff options
Diffstat (limited to 'java/eclipse/files/patch-production')
| -rw-r--r-- | java/eclipse/files/patch-production | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/java/eclipse/files/patch-production b/java/eclipse/files/patch-production new file mode 100644 index 000000000000..32f05dffec4c --- /dev/null +++ b/java/eclipse/files/patch-production @@ -0,0 +1,14 @@ +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[@]} |