workaround: add logging patch

Signed-off-by: vincent <[email protected]>
second-state · Nov 6, 2023 · 0818b38 · 0818b38
1 parent d54f7d3
commit 0818b38
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/release/DockerfileBin b/release/DockerfileBin
@@ -30,7 +30,7 @@ RUN <<EOT
     os=$(xx-info os)
     march=$(xx-info march)
     mkdir -p /dynlib
-    curl -sSf https://raw.githubusercontent.com/CaptainVincent/WasmEdge/0.13.5-preview/utils/install.sh | bash -s -- -v 0.13.5-preview --platform=${os^} --machine=$(xx-info march)
+    curl -sSf https://raw.githubusercontent.com/CaptainVincent/WasmEdge/0.13.5-preview/utils/install.sh | bash -s -- -v 0.13.5-preview2 --platform=${os^} --machine=$(xx-info march)
 EOT
 
 RUN --mount=type=bind,target=/src,rw,source=. \

diff --git a/release/DockerfileLib b/release/DockerfileLib
@@ -16,7 +16,7 @@ RUN <<EOT
     set -ex
     os=$(xx-info os)
     plugins=$( [ -n "$PLUGIN" ] && echo "--plugin $PLUGIN" || echo "" )
-    curl -sSf https://raw.githubusercontent.com/CaptainVincent/WasmEdge/0.13.5-preview/utils/install.sh | bash -s -- -v 0.13.5-preview --platform=${os^} --machine=$(xx-info march) $plugins
+    curl -sSf https://raw.githubusercontent.com/CaptainVincent/WasmEdge/0.13.5-preview/utils/install.sh | bash -s -- -v 0.13.5-preview2 --platform=${os^} --machine=$(xx-info march) $plugins
     mkdir -p /dynlib
     ./install_dependencies.sh $PLUGIN /dynlib
     for file in /root/.wasmedge/plugin/*.so; do