From eb4cd59c2a01e4e8dcc20fb9bd82ba29e1816c2a Mon Sep 17 00:00:00 2001
From: tonibofarull <tonibofarull@gmail.com>
Date: Sun, 12 Jun 2022 13:01:47 +0200
Subject: [PATCH] Fix dockerfile

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 202d0c2d8..58088b385 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -10,4 +10,4 @@ RUN apt-get update && apt-get install -y \
 
 RUN wget -q https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-14/wasi-sdk-14.0-linux.tar.gz && \
     tar xf wasi-sdk-*-linux.tar.gz -C /opt && rm -f wasi-sdk-*-linux.tar.gz && \
-    mv /opt/wasi-sdk-$(WASI_SDK_VERSION) /opt/wasi-sdk
+    mv /opt/wasi-sdk-14.0 /opt/wasi-sdk