From a6c386a8ff8e2683228d63529239ca4948cef927 Mon Sep 17 00:00:00 2001 From: Ben Selwyn-Smith Date: Fri, 17 Jan 2025 15:10:07 +1000 Subject: [PATCH] chore: perform cleanup Signed-off-by: Ben Selwyn-Smith --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index d677d7de6..2314a8e46 100644 --- a/Makefile +++ b/Makefile @@ -160,6 +160,7 @@ souffle: sudo apt update; \ sudo wget http://archive.ubuntu.com/ubuntu/pool/main/libf/libffi/libffi7_3.3-4_amd64.deb; \ sudo dpkg -i libffi7_3.3-4_amd64.deb; \ + rm libffi7_3.3-4_amd64.deb; \ sudo apt install souffle;; \ "Darwin") \ if command -v brew; then \