edouard@37: #!/bin/bash
edouard@37: 
edouard@37: CONTAINER=beremiz_public_builder_current
edouard@37: 
edouard@37: docker start $CONTAINER 
edouard@65: echo exec docker with $*
edouard@66: docker exec $CONTAINER bash -c "build $*"
edouard@37: docker stop $CONTAINER
edouard@37: