diff options
| author | Wade Walker <[email protected]> | 2014-03-02 12:41:48 -0600 |
|---|---|---|
| committer | Wade Walker <[email protected]> | 2014-03-02 12:41:48 -0600 |
| commit | eb06798a7af0da8febbf31abd34e62e7100633aa (patch) | |
| tree | 0db315b4795c5e45eccc7e30d440e2f8e7ce343a /make | |
| parent | 9d6418135370a8ce1d5c63196011b1354a8e8022 (diff) | |
Load jocl.properties if present.
This lets us build with debug information turned on.
Diffstat (limited to 'make')
| -rw-r--r-- | make/build.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/make/build.xml b/make/build.xml index ff903aa8..e7425eba 100644 --- a/make/build.xml +++ b/make/build.xml @@ -74,7 +74,7 @@ <target name="load.user.properties"> <property name="user.properties.file" value="${user.home}/jocl.properties" /> <property file="${user.properties.file}" /> - <echo message="Loaded ${user.properties.file}. (optionally)" /> + <echo message="Loaded ${user.properties.file}." /> <property file="${user.home}/gluegen.properties" /> <echo message="Loaded ${user.home}/gluegen.properties." /> @@ -84,7 +84,7 @@ <!-- - Declare all paths and user defined variables. --> - <target name="init.base" depends="jogamp.env.init,gluegen.properties.load.user,gluegen.cpptasks.detect.os"> + <target name="init.base" depends="load.user.properties,jogamp.env.init,gluegen.properties.load.user,gluegen.cpptasks.detect.os"> <property name="jocl.build.number" value="manual"/> <property name="jocl.build.id" value="${version.timestamp}"/> <property name="jocl.version" value="${jogamp.version.base}-b${jocl.build.number}-${version.timestamp}" /> |