From a7ca4a58b633d4048f49ae8aa15b37cb02bc3bc9 Mon Sep 17 00:00:00 2001
From: Jost Berthold <jost.berthold@gmail.com>
Date: Wed, 31 Jan 2024 16:53:53 +1100
Subject: [PATCH] add lsof to debian prerequisites for test

---
 package/debian/test-package | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package/debian/test-package b/package/debian/test-package
index c72fc87cd61..b3f56d94f56 100755
--- a/package/debian/test-package
+++ b/package/debian/test-package
@@ -9,7 +9,7 @@ cp "${pkg}" kframework.deb
 export DEBIAN_FRONTEND=noninteractive
 apt-get update
 apt-get upgrade --yes
-apt-get install --yes make
+apt-get install --yes make lsof
 apt-get install --yes ./kframework.deb
 
 package/test-package