clean_docker_image.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

# delete image
docker rmi beremiz_public_builder