Rebuild docker images daily

Every docker image is built using the latest definitions
of the dependent Dockerfiles, including latest patches
and software versions of the build tools.

Having a daily fresh build helps in getting early
patches and up-to-date tools and dependencies.

Change-Id: I4ee6d6e6fb04689acc8d59f65046451e452b9149
1 file changed
tree: 68dd109a912e8d6a0f63c3c2de60b2bf4f22f7f8
  1. jenkins/
  2. jenkins-docker/
  3. .gitignore