build_in_docker.sh
changeset 66 b90bcdaaba0e
parent 65 a5970360c00b
equal deleted inserted replaced
65:a5970360c00b 66:b90bcdaaba0e
     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 echo exec docker with $*
     7 docker exec $CONTAINER bash -c build $*
     7 docker exec $CONTAINER bash -c "build $*"
     8 docker stop $CONTAINER
     8 docker stop $CONTAINER
     9 
     9