3261: fixes for Docker build process
authorTim Pierce <twp@curoverse.com>
Thu, 31 Jul 2014 18:46:13 +0000 (14:46 -0400)
committerTim Pierce <twp@curoverse.com>
Thu, 31 Jul 2014 19:02:45 +0000 (15:02 -0400)
commit5f6af45e3f79b2dbff55e821465f3d599a9e44e6
tree15e7965d4af9622e932556992d1b59f24ee1f228
parent74d53a1ab38162c4c0977f12568617f7beb57c45
3261: fixes for Docker build process

* New tool list_generated_files avoids difficult quoting/escaping
  problems in Makefile

* keep/Dockerfile fixes permissions on /usr/local/bin/run-keep

Refs #3261.
docker/build_tools/Makefile
docker/build_tools/list_generated_files [new file with mode: 0755]
docker/keep/Dockerfile