Build API server and Workbench debian packages.
authorWard Vandewege <ward@curoverse.com>
Wed, 3 Jun 2015 20:27:48 +0000 (16:27 -0400)
committerWard Vandewege <ward@curoverse.com>
Wed, 3 Jun 2015 20:27:48 +0000 (16:27 -0400)
commit6c26aa2c194f60b2823da49166741203524a0b48
tree7b510849ad792e4a004b3857755a78cb0879ca2f
parent44eab398d387d1e72850c6a1fedd74272ca119a9
Build API server and Workbench debian packages.

Refs #6096
jenkins/arvados-api-server-extras/arvados-api-server-upgrade.sh [new file with mode: 0755]
jenkins/arvados-api-server-extras/postinst.sh [new file with mode: 0644]
jenkins/arvados-workbench-extras/arvados-workbench-upgrade.sh [new file with mode: 0755]
jenkins/arvados-workbench-extras/postinst.sh [new file with mode: 0644]
jenkins/run-build-packages.sh