projects / arvados.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 171f4d2) | patch
Be smarter about building and the --realclean option:
authorWard Vandewege <ward@curoverse.com>
Thu, 10 Jul 2014 16:20:43 +0000 (12:20 -0400)
committerWard Vandewege <ward@curoverse.com>
Thu, 10 Jul 2014 16:27:26 +0000 (12:27 -0400)
commit56e82fff1e2bc9597c06f2d14d43360c02704aa6
tree2c7e3a704274e5b559a3c6bd2ea38de0b13cda0ftree | snapshot
parent171f4d2935ce982b014c94ab358c30a602aa4980commit | diff
Be smarter about building and the --realclean option:

* remove intermediate containers after a successful build
* --realclean removes only images labelled arvados/*
* --realclean removes only arvados containers

refs #3219
docker/build_tools/Makefile diff | blob | history