| 1234567891011121314151617181920212223242526272829303132333435363738 | 
							- #!/bin/sh -e
 
- if [ -z "$ANDROID_HOME" ]; then
 
-     echo 'No $ANDROID_HOME specified.'
 
-     exit 1
 
- fi
 
- VERSION=$1
 
- PREV_VERSION=$2
 
- git checkout refs/tags/release-$VERSION
 
- git log --pretty=fuller --date=short refs/tags/release-$PREV_VERSION..HEAD > ChangeLog
 
- ./configure && \
 
-     make dist-bzip2 && make dist-gzip && make dist-xz || echo "error"
 
- make distclean
 
- # mingw 32bit
 
- export HOST=i686-w64-mingw32
 
- export LABEL=win-32bit
 
- ./mingw-config
 
- make -j3
 
- ./mingw-release
 
- make distclean
 
- # mingw 64bit
 
- export HOST=x86_64-w64-mingw32
 
- export LABEL=win-64bit
 
- ./mingw-config
 
- make -j3
 
- ./mingw-release
 
- make distclean
 
- # android
 
- ./android-config
 
- ./android-make -j3
 
- ./android-release
 
- make distclean
 
 
  |