beremiz

Revert unwanted changes potentially breaking wxGlade support.

2024-06-04, Edouard Tisserant
d5edde0c145b
file isExecutable
Revert unwanted changes potentially breaking wxGlade support.
Partly revert 34d4c77ccb1bcb14601ab347ec6080466b7e143d. Skips evaluator related changes that was included by mistake.
#!/bin/bash
set -e
./clean_docker_container.sh || true
./clean_docker_image.sh || true
./build_docker_image.sh
./create_docker_container.sh $1