Skip to content
Snippets Groups Projects
Commit 88b68d0c authored by GARION Christophe's avatar GARION Christophe
Browse files

[docker] update container ID in script

parent 9552f69c
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
docker/README.md
+ 1
− 1
View file @ 88b68d0c
...@@ -9,7 +9,7 @@ LustreC. ...@@ -9,7 +9,7 @@ LustreC.
- an opam distribution with Frama-C and Z3 installed - an opam distribution with Frama-C and Z3 installed
This can be used to test LustreC: clone the LustreC repository, pull This can be used to test LustreC: clone the LustreC repository, pull
the image and run the `run_docker.sh` script available in the the image and run the `run-docker.sh` script available in the
`scripts` directory. LustreC and the associated WP strategies are `scripts` directory. LustreC and the associated WP strategies are
built in the host clone of LustreC and you can run tests inside the built in the host clone of LustreC and you can run tests inside the
container. container.
scripts/run-docker.sh 100644 → 100755
+ 1
− 1
View file @ 88b68d0c
...@@ -14,7 +14,7 @@ usage () { ...@@ -14,7 +14,7 @@ usage () {
} }
# default values # default values
CONTAINER_ID=gitlab-registry.isae-supaero.fr/lustrec/lustrec/lustrec-run:latest CONTAINER_ID=gitlab-registry.isae-supaero.fr/lustrec/lustrec/lustrec-run
TMP_DIR=/tmp TMP_DIR=/tmp
# check if docker is available # check if docker is available
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment