1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
#! /bin/sh -e
##
## DP: Set JAVA_HOME in all places
[ -f debian/patches/00patch-opts ] && . debian/patches/00patch-opts
patch_opts="${patch_opts:--f --no-backup-if-mismatch}"
if [ $# -ne 1 ]; then
echo >&2 "`basename $0`: script expects -patch|-unpatch as argument"
exit 1
fi
case "$1" in
-patch)
patch $patch_opts -p0 < $0;;
-unpatch)
patch $patch_opts -p0 -R < $0;;
*)
echo >&2 "`basename $0`: script expects -patch|-unpatch as argument"
exit 1;;
esac
exit 0
@DPATCH@
--- source-tree/plugins/org.eclipse.core.resources.linux/src/Makefile~ 2006-01-18 22:12:26.000000000 +0100
+++ source-tree/plugins/org.eclipse.core.resources.linux/src/Makefile 2006-02-19 04:59:55.766546664 +0100
@@ -17,7 +17,7 @@
OS_TYPE = linux
#Set this to be the location of your JRE
-JAVA_HOME = ~/vm/sun142
+JAVA_HOME ?= /usr/lib/jvm/java-gcj
JDK_INCLUDE = -I ${JAVA_HOME}/include -I ${JAVA_HOME}/include/${OS_TYPE}
|
