From 2a7d05fce772d567665cd2d7fa09f3b8ac37e485 Mon Sep 17 00:00:00 2001 From: Alistair Michael Date: Wed, 3 Jan 2024 17:16:24 +1000 Subject: [PATCH] fix typo in dockerfile --- docker/asli.Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docker/asli.Dockerfile b/docker/asli.Dockerfile index 592915568..6e4d4333c 100644 --- a/docker/asli.Dockerfile +++ b/docker/asli.Dockerfile @@ -80,7 +80,7 @@ USER root # ==================== # Bap with ASLi plugin # ==================== -FROM bap-upsteam.2.5 AS aslp-bap-upstream +FROM bap-upstream.2.5 AS aslp-bap-upstream USER opam RUN git clone https://github.com/UQ-PAC/bap-asli-plugin.git RUN cd /home/opam/bap-asli-plugin && eval $(opam env) && make