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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
|
#! /bin/sh -e
##
## DP: Property bootclasspath is not set, see https://bugs.eclipse.org/bugs/show_bug.cgi?id=115401
[ -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@
diff -r -u source-tree.orig/plugins/org.eclipse.jdt.doc.isv/build.xml source-tree/plugins/org.eclipse.jdt.doc.isv/build.xml
--- source-tree.orig/plugins/org.eclipse.jdt.doc.isv/build.xml 2005-11-08 13:55:10.000000000 +0100
+++ source-tree/plugins/org.eclipse.jdt.doc.isv/build.xml 2005-11-08 14:01:30.000000000 +0100
@@ -1,6 +1,12 @@
<?xml version="1.0" encoding="UTF-8"?>
<project name="org.eclipse.jdt.doc.isv" default="build.jars" basedir=".">
+ <path id="path_bootclasspath">
+ <fileset dir="${java.home}/lib">
+ <include name="*.jar"/>
+ </fileset>
+ </path>
+ <property name="bootclasspath" refid="path_bootclasspath"/>
<target name="init">
<property name="plugin" value="org.eclipse.jdt.doc.isv"/>
@@ -70,4 +76,4 @@
<delete dir="${temp.folder}"/>
</target>
-</project>
\ Kein Zeilenumbruch am Dateiende.
+</project>
diff -r -u source-tree.orig/plugins/org.eclipse.pde.doc.user/build.xml source-tree/plugins/org.eclipse.pde.doc.user/build.xml
--- source-tree.orig/plugins/org.eclipse.pde.doc.user/build.xml 2005-11-08 13:55:10.000000000 +0100
+++ source-tree/plugins/org.eclipse.pde.doc.user/build.xml 2005-11-08 14:02:04.000000000 +0100
@@ -1,6 +1,13 @@
<?xml version="1.0" encoding="UTF-8"?>
<project name="org.eclipse.pde.doc.user" default="build.jars" basedir=".">
+ <path id="path_bootclasspath">
+ <fileset dir="${java.home}/lib">
+ <include name="*.jar"/>
+ </fileset>
+ </path>
+ <property name="bootclasspath" refid="path_bootclasspath"/>
+
<target name="init">
<property name="plugin" value="org.eclipse.pde.doc.user"/>
<property name="version.suffix" value="_3.1.1"/>
@@ -69,4 +76,4 @@
<delete dir="${temp.folder}"/>
</target>
-</project>
\ Kein Zeilenumbruch am Dateiende.
+</project>
|
