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