add lsof to debian prerequisites for test

runtimeverification · Jan 31, 2024 · a7ca4a5 · a7ca4a5
1 parent 8686224
commit a7ca4a5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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