build_in_docker.sh
changeset 65 a5970360c00b
parent 61 13ad062ac22a
child 66 b90bcdaaba0e
equal deleted inserted replaced
64:96b3f641f32e 65:a5970360c00b
     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 echo exec docker with $*
     6 docker exec $CONTAINER bash -c build $*
     7 docker exec $CONTAINER bash -c build $*
     7 docker stop $CONTAINER
     8 docker stop $CONTAINER
     8 
     9