HGKeeper

77a1846390ef

Executable

SVGHMI: add "DISCARD:" prefix to force discarding an SVG element

#!/bin/bash

set -e

./clean_docker_container.sh || true

./clean_docker_image.sh || true

./build_docker_image.sh

./create_docker_container.sh $1