| author | Nadim Khan <34601107+nadim4114@users.noreply.github.com> |
| Fri, 26 Apr 2024 13:40:34 +0530 | |
| changeset 3942 | ac6408084c60 |
| parent 3693 | 4058140a8757 |
| permissions | -rwxr-xr-x |
|
3425
ee3b84d09ccf
Add Docker image definition as reference platform to run IDE tests.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents:
diff
changeset
|
1 |
#!/bin/bash |
|
ee3b84d09ccf
Add Docker image definition as reference platform to run IDE tests.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents:
diff
changeset
|
2 |
|
|
ee3b84d09ccf
Add Docker image definition as reference platform to run IDE tests.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents:
diff
changeset
|
3 |
set -e |
|
ee3b84d09ccf
Add Docker image definition as reference platform to run IDE tests.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents:
diff
changeset
|
4 |
|
|
ee3b84d09ccf
Add Docker image definition as reference platform to run IDE tests.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents:
diff
changeset
|
5 |
./clean_docker_container.sh || true |
|
ee3b84d09ccf
Add Docker image definition as reference platform to run IDE tests.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents:
diff
changeset
|
6 |
./clean_docker_image.sh || true |
|
ee3b84d09ccf
Add Docker image definition as reference platform to run IDE tests.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents:
diff
changeset
|
7 |
./build_docker_image.sh |
|
ee3b84d09ccf
Add Docker image definition as reference platform to run IDE tests.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents:
diff
changeset
|
8 |
./create_docker_container.sh $1 |
|
ee3b84d09ccf
Add Docker image definition as reference platform to run IDE tests.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents:
diff
changeset
|
9 |