build_in_docker.sh
changeset 37 fd09116d3537
child 44 c460ec8c65e9
equal deleted inserted replaced
36:ad68e85dc416 37:fd09116d3537
       
     1 #!/bin/bash
       
     2 
       
     3 CONTAINER=beremiz_public_builder_current
       
     4 
       
     5 docker start $CONTAINER 
       
     6 docker exec -i -t $CONTAINER bash -i -c build $1
       
     7 docker stop $CONTAINER
       
     8