beremiz

Various unrelated code quality enhancements and fixes with no effect on execution.

18 months ago, Edouard Tisserant
3ef4b5b202fc
file isExecutable
Various unrelated code quality enhancements and fixes with no effect on execution.
#!/bin/bash
set -e
./clean_docker_container.sh || true
./clean_docker_image.sh || true
./build_docker_image.sh
./create_docker_container.sh $1