diff options
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"/> |