Put setup into a script, and don't forget to start Docker.

Change-Id: Ieca29f1ca5ff6bfda7763fc31deee054d89c2a94
3 files changed
tree: 7b48fa6fad0e3ee9338e8c7e785f656645db93b4
  1. jenkins/
  2. jenkins-docker/
  3. worker/
  4. .gitignore