run-deploy.sh: when there is a shell node, use that to figure out the
[arvados-dev.git] / jenkins / make-package-list.sh
2020-02-14 Peter AmstutzAdd make-package-list script