From d00888e6a32e7e9c885c61b316507feeb59b5441 Mon Sep 17 00:00:00 2001
From: Hans-Christoph Steiner <hans@eds.org>
Date: Fri, 12 Dec 2014 10:47:04 +0100
Subject: [PATCH] move Jenkins script back to ./jenkins-build

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.
---
 F-Droid/jenkins-build => jenkins-build | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)
 rename F-Droid/jenkins-build => jenkins-build (69%)

diff --git a/F-Droid/jenkins-build b/jenkins-build
similarity index 69%
rename from F-Droid/jenkins-build
rename to jenkins-build
index 244766226..ab5ffe4f8 100755
--- a/F-Droid/jenkins-build
+++ b/jenkins-build
@@ -13,7 +13,17 @@ 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\"," \
-    AndroidManifest.xml
+    F-Droid/AndroidManifest.xml
 
-. ~/.android/bashrc
+
+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