blob: d0a733b912e32751a20eb55636dd41f1afbfa6b5 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
Make sure `build.properties' is honored.
--- jde/build.xml
+++ jde/build.xml
@@ -14,6 +14,7 @@
<property name="project.version" value="2.4.0"/>
<property name="config.dir" location="./config"/>
+ <property file="build.properties"/>
<!-- everything depends on this initialization target -->
<target name="init">
|