chiark / gitweb /
~ianmdlvl / fdroidserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bb15611) | patch
make jenkins script use bash so we can use bashisms
authorHans-Christoph Steiner <hans@eds.org>
Wed, 2 Apr 2014 22:32:41 +0000 (18:32 -0400)
committerHans-Christoph Steiner <hans@eds.org>
Wed, 2 Apr 2014 23:49:02 +0000 (19:49 -0400)
commit5b22e118722187529d78323e1540c7bf0b9215c6
tree1a8c5444817b7f75cd2bb9813e2fe5fb940dd6c2tree | snapshot
parentbb15611ed174cd68f177a977c10a9c0bd48c109ecommit | diff
make jenkins script use bash so we can use bashisms
jenkins-build [moved from jenkins-build.sh with 99% similarity] diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.