diff options
| author | Sven Gothel <[email protected]> | 2020-01-02 16:04:10 +0100 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2020-01-02 16:04:10 +0100 |
| commit | 5a59c20f9bd9be5c20b176720810dd5a95a75d87 (patch) | |
| tree | f4b89b9698e852ad8b42d6a2f2d691508390045e /make/build.xml | |
| parent | 18c8834bdc8c1c00f6911143927c496d2218fa42 (diff) | |
native.tag.jar: include *.symbols
Diffstat (limited to 'make/build.xml')
| -rw-r--r-- | make/build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make/build.xml b/make/build.xml index 396cc75..07ef699 100644 --- a/make/build.xml +++ b/make/build.xml @@ -557,7 +557,7 @@ nativejarfile="${build}/gluegen-rt-natives-${os.and.arch}.jar" manifestfile="${build}/Manifest-rt-natives.temp" module="common" - includelibs="*${output.lib.name}.${native.library.suffix}" /> + includelibs="*${output.lib.name}.${native.library.suffix} *.symbols" /> <!-- Produce duplicates for different configurations, since non-native-jar aliasing (Bug 1023/Bug 1024) --> <copy file="${build}/gluegen-rt-natives-${os.and.arch}.jar" tofile="${build}/gluegen-rt-android-natives-${os.and.arch}.jar"/> |