From: Hans-Christoph Steiner <hans@eds.org>
Date: Wed, 2 Apr 2014 22:32:41 +0000 (-0400)
Subject: make jenkins script use bash so we can use bashisms
X-Git-Tag: 0.2~150^2~1
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=5b22e118722187529d78323e1540c7bf0b9215c6;p=fdroidserver.git

make jenkins script use bash so we can use bashisms
---

diff --git a/jenkins-build.sh b/jenkins-build
similarity index 99%
rename from jenkins-build.sh
rename to jenkins-build
index ccd9492e..a5219f2f 100755
--- a/jenkins-build.sh
+++ b/jenkins-build
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 #
 # this is the script run by the Jenkins server to run the build and tests.  Be
 # sure to always run it in its dir, i.e. ./jenkins-build.sh, otherwise it might