d00888e6a3
This script should be in the root of the git repo so that the config in
Jenkins' web interface is always just:
./jenkins-build
This commit also includes a little code to make it easier for people to run
this script on their own machines, if they want to reproduce the Jenkins
build setup.
30 lines
691 B
Bash
Executable File
30 lines
691 B
Bash
Executable File
#!/bin/sh
|
|
#
|
|
# Jenkins uses this script to set up the ant build. Jenkins will then call
|
|
# ant itself once this script has completed.
|
|
|
|
set -e
|
|
set -x
|
|
|
|
# reset version code/name to current date
|
|
versionCodeDate=`date +%s`
|
|
versionNameDate=`date +%Y-%m-%d_%H.%M.%S`
|
|
|
|
sed -i \
|
|
-e "s,android:versionCode=\"[0-9][0-9]*\",android:versionCode=\"$versionCodeDate\"," \
|
|
-e "s,android:versionName=\"\([^\"][^\"]*\)\",android:versionName=\"\1.$versionNameDate\"," \
|
|
F-Droid/AndroidManifest.xml
|
|
|
|
|
|
if [ -z $ANDROID_HOME ]; then
|
|
if [ -e ~/.android/bashrc ]; then
|
|
. ~/.android/bashrc
|
|
else
|
|
echo "ANDROID_HOME must be set!"
|
|
exit
|
|
fi
|
|
fi
|
|
|
|
cd F-Droid
|
|
./ant-prepare.sh
|