chiark
/
gitweb
/
~ianmdlvl
/
fdroidserver.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
a573688
)
jenkins-build: switch buildserver to new 64-bit base
author
Hans-Christoph Steiner
<hans@eds.org>
Mon, 4 Jul 2016 11:14:37 +0000
(13:14 +0200)
committer
Hans-Christoph Steiner
<hans@eds.org>
Mon, 4 Jul 2016 11:16:15 +0000
(13:16 +0200)
jenkins-build-makebuildserver
patch
|
blob
|
history
diff --git
a/jenkins-build-makebuildserver
b/jenkins-build-makebuildserver
index d32e14423ac642343cfe661f954c0e9ccf1adcb0..7f1cdf954cbf8e69be7900ec1e9f6e37f7b20ec7 100755
(executable)
--- a/
jenkins-build-makebuildserver
+++ b/
jenkins-build-makebuildserver
@@
-29,9
+29,9
@@
set -x
# make sure we have the vagrant box image cached
test -e ~/.cache/fdroidserver || mkdir -p ~/.cache/fdroidserver
cd ~/.cache/fdroidserver
# make sure we have the vagrant box image cached
test -e ~/.cache/fdroidserver || mkdir -p ~/.cache/fdroidserver
cd ~/.cache/fdroidserver
-wget --tries=1 --timeout=5 --continue https://f-droid.org/jessie
32
.box || true
-echo "
ff6b0c0bebcb742783becbc51a9dfff5a2a0a839bfcbfd0288dcd3113f33e533 jessie32.box" > jessie32
.box.sha256
-sha256sum -c jessie
32
.box.sha256
+wget --tries=1 --timeout=5 --continue https://f-droid.org/jessie
64
.box || true
+echo "
de3e3c4a9c13e8c015e30edeea0f583b195d1ee8ff9ad4814e933bbfb560200f jessie64.box" > jessie64
.box.sha256
+sha256sum -c jessie
64
.box.sha256
# redirect homes to be in the git repo, so they'll get cleaned and reset
export XDG_CONFIG_HOME=$WORKSPACE
# redirect homes to be in the git repo, so they'll get cleaned and reset
export XDG_CONFIG_HOME=$WORKSPACE