Docker: updated dev.x86_64.stable Docker image w/ adv_plat prebuilt

ZhihanLee · Mar 16, 2021 · 3e33348 · 3e33348
1 parent 05b225d
commit 3e33348
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/docker/build/build_docker.sh b/docker/build/build_docker.sh
@@ -146,7 +146,7 @@ function determine_prev_image_timestamp() {
             fi
         elif [[ "${stage}" == "runtime" ]]; then
             if [[ "${dist}" == "stable" ]]; then
-                result="20210312_1536"
+                result="20210315_2158"
             fi
         fi
     else # aarch64

diff --git a/docker/scripts/dev_start.sh b/docker/scripts/dev_start.sh
@@ -27,7 +27,7 @@ DEV_INSIDE="in-dev-docker"
 SUPPORTED_ARCHS=(x86_64 aarch64)
 TARGET_ARCH="$(uname -m)"
 
-VERSION_X86_64="dev-x86_64-18.04-20210312_1536"
+VERSION_X86_64="dev-x86_64-18.04-20210315_2158"
 TESTING_VERSION_X86_64="dev-x86_64-18.04-testing-20210112_0008"
 
 VERSION_AARCH64="dev-aarch64-18.04-20201218_0030"

diff --git a/docker/scripts/runtime_start.sh b/docker/scripts/runtime_start.sh
@@ -24,7 +24,7 @@ RUNTIME_INSIDE="in-runtime-docker"
 
 TARGET_ARCH="$(uname -m)"
 
-VERSION_X86_64="dev-x86_64-18.04-20210312_1536"
+VERSION_X86_64="dev-x86_64-18.04-20210315_2158"
 USER_VERSION_OPT=
 
 FAST_MODE="no"