blob: ce9759264edaed5e4ccef5f803b184375e8ff73d (
plain)
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
|
--- tools/build.xml.orig 2006-10-02 10:18:43.000000000 +0200
+++ tools/build.xml 2006-10-02 10:21:34.000000000 +0200
@@ -66,6 +66,7 @@
<javac srcdir="${tools.dir}"
debug="${debug}"
source="${source}"
+ target="${target}"
nowarn="${nowarn}"
destdir="${tools.build.dir}">
<classpath refid="classpath"/>
@@ -77,6 +78,7 @@
<javac srcdir="${tools.dir}"
debug="${debug}"
source="${source}"
+ target="${target}"
nowarn="${nowarn}"
destdir="${tools.build.dir}">
<classpath refid="classpath"/>
@@ -88,6 +90,7 @@
<javac srcdir="${tools.dir}"
debug="${debug}"
source="${source}"
+ target="${target}"
nowarn="${nowarn}"
destdir="${tools.build.dir}">
<classpath>
|