enter_docker.sh
author Edouard Tisserant <edouard.tisserant@gmail.com>
Mon, 13 Feb 2023 22:03:09 +0100
changeset 112 b78f14613a6c
parent 37 fd09116d3537
permissions -rwxr-xr-x
Fix computation of BVERSION leading to error message if beremiz source tree is missing when make is invoked
#!/bin/bash

CNT=beremiz_public_builder_current

docker start -i $CNT