edouard@37: #!/bin/bash
edouard@37: 
edouard@37: CONTAINER=beremiz_public_builder_current
edouard@37: 
edouard@37: docker start $CONTAINER 
edouard@61: docker exec $CONTAINER bash -c build $*
edouard@37: docker stop $CONTAINER
edouard@37: