diff options
| author | Sven Gothel <[email protected]> | 2015-03-24 03:55:37 +0100 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2015-03-24 03:55:37 +0100 |
| commit | 1edd563607867a8f3f5cc6d764c6d6462179aa0b (patch) | |
| tree | 99e108eca9747780996a32362b486f5726ee979b /make/build-common.xml | |
| parent | 9fb45e70730198fa7be940c5b48dd5c59bf04b93 (diff) | |
Adapt to new JNI header location within GlueGen, completes commit 9fb45e70730198fa7be940c5b48dd5c59bf04b93
JNI header moved to GlueGen via commit 532b8df474976b474f0cf4eb2d93588ded2ad3fe
Diffstat (limited to 'make/build-common.xml')
| -rw-r--r-- | make/build-common.xml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/make/build-common.xml b/make/build-common.xml index 89353ccd0..5be5fedc7 100644 --- a/make/build-common.xml +++ b/make/build-common.xml @@ -66,8 +66,9 @@ <property name="config" value="${make}/config" /> <property name="stub.includes" value="stub_includes" /> <!-- NOTE: this MUST be relative for FileSet --> - <property name="stub.includes.gluegen.gg" value="${gluegen.root}/make/stub_includes/gluegen" /> - <property name="stub.includes.gluegen.cc" value="${gluegen.root}/make/stub_includes/platform" /> + <property name="stub.includes.gluegen" value="${gluegen.root}/make/stub_includes" /> + <property name="stub.includes.gluegen.gg" value="${stub.includes.gluegen}/gluegen" /> + <property name="stub.includes.gluegen.cc" value="${stub.includes.gluegen}/platform" /> <property name="jogl.build.number" value="manual"/> <property name="jogl.build.id" value="${version.timestamp}"/> |