From 88b68d0c103d96f6ff8f88acde6b31b5b2617bca Mon Sep 17 00:00:00 2001
From: Christophe Garion <tofgarion@runbox.com>
Date: Wed, 8 Mar 2023 13:37:50 +0100
Subject: [PATCH] [docker] update container ID in script
---
docker/README.md | 2 +-
scripts/run-docker.sh | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
mode change 100644 => 100755 scripts/run-docker.sh
diff --git a/docker/README.md b/docker/README.md
index 47c98117..3a89b321 100644
--- a/docker/README.md
+++ b/docker/README.md
@@ -9,7 +9,7 @@ LustreC.
- an opam distribution with Frama-C and Z3 installed
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
built in the host clone of LustreC and you can run tests inside the
container.
diff --git a/scripts/run-docker.sh b/scripts/run-docker.sh
old mode 100644
new mode 100755
index 7a92ec90..10e4623a
--- a/scripts/run-docker.sh
+++ b/scripts/run-docker.sh
@@ -14,7 +14,7 @@ usage () {
}
# 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
# check if docker is available
--
GitLab