jenkins: restrict the number of parallel jobs
authorJustus Winter <justus@g10code.com>
Wed, 21 Jun 2017 14:34:00 +0000 (16:34 +0200)
committerJustus Winter <justus@g10code.com>
Wed, 21 Jun 2017 14:34:00 +0000 (16:34 +0200)
commit8164268fb5de8c83926cf65e4d5ad00e1c194d57
tree19be86c4f89238bf874635ad2edacd42e72f3e96
parent03efef1cdae1c03e0e167edee1aeaa0ecefb9f8b
jenkins: restrict the number of parallel jobs
misc/jenkins/bin/build.bash