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