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