From 787aeb90b8424a02db69f3b39eaa851fa98d86fd Mon Sep 17 00:00:00 2001
From: Chris Sidebottom <chris.sidebottom@arm.com>
Date: Thu, 17 Mar 2022 10:29:41 +0000
Subject: [PATCH] Remove unnecessary wasmtime from ci_lint

---
 docker/Dockerfile.ci_lint | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/docker/Dockerfile.ci_lint b/docker/Dockerfile.ci_lint
index 868e941cc102..472becb73d05 100644
--- a/docker/Dockerfile.ci_lint
+++ b/docker/Dockerfile.ci_lint
@@ -41,10 +41,6 @@ ENV RUSTUP_HOME /opt/rust
 ENV CARGO_HOME /opt/rust
 ENV PATH $PATH:$CARGO_HOME/bin
 
-# wasmtime
-COPY install/ubuntu_install_wasmtime.sh /install/ubuntu_install_wasmtime.sh
-RUN bash /install/ubuntu_install_wasmtime.sh
-
 # java deps for rat
 COPY install/ubuntu_install_java.sh /install/ubuntu_install_java.sh
 RUN bash /install/ubuntu_install_java.sh