beremiz

All Runtimes: Now sizeof(tick)=4 on all platforms (unsigned int).

2024-05-24, Edouard Tisserant
9b5cb90297e4
file isExecutable
All Runtimes: Now sizeof(tick)=4 on all platforms (unsigned int).
#!/bin/bash
set -e
./clean_docker_container.sh || true
./clean_docker_image.sh || true
./build_docker_image.sh
./create_docker_container.sh $1