diff options
| author | Sven Gothel <[email protected]> | 2011-06-11 01:50:42 +0200 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2011-06-11 01:50:42 +0200 |
| commit | 536dc9979ae965fd5fc0e14bb306c6e2d12ac584 (patch) | |
| tree | aa94f1db80145b203e074a3313986897d355aaa6 /make/build-common.xml | |
| parent | 9ea120c599476901fdfcc39f133abf26d7d22c0c (diff) | |
Utilize GlueGen's platform independent header for stdin.h, gluegen_stdint.h, .. (remove local copy)
- Use them for gluegen code generation
- Use them for native compilation (cc)
Diffstat (limited to 'make/build-common.xml')
| -rw-r--r-- | make/build-common.xml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/make/build-common.xml b/make/build-common.xml index aac3849e0..454e5d1aa 100644 --- a/make/build-common.xml +++ b/make/build-common.xml @@ -58,7 +58,9 @@ <property name="make" value="." /> <property name="config" value="${make}/config" /> <property name="stub.includes" value="stub_includes" /> <!-- NOTE: this MUST be relative for FileSet --> - <property name="stub.includes.common" value="${stub.includes}/gluegen" /> + + <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" /> <tstamp> <format property="version.timestamp" pattern="yyyyMMdd"/> |