diff options
| author | Michael Bien <[email protected]> | 2010-05-08 23:19:50 +0200 |
|---|---|---|
| committer | Michael Bien <[email protected]> | 2010-05-08 23:19:50 +0200 |
| commit | 8a7c4ac5cea58cad873e4ec4e429c84649e09995 (patch) | |
| tree | 2ac48e7c8f0d8350c354bfaefc8a3fcb1bf0de4f | |
| parent | 7c2f3be4b70ebd1892beed4802aed109127d7a3f (diff) | |
build imports now an optional property file (<user home>/jocl.properties).
| -rw-r--r-- | build.xml | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -5,6 +5,8 @@ <description>Builds, tests, and runs the project JOCL.</description> + <property file="${user.home}/jocl.properties"/> + <condition property="rootrel.build" value="build"> <not> <isset property="rootrel.build"/> |