From 3fa4c3157bb866c97876cc6ae236a5e122f228ef Mon Sep 17 00:00:00 2001
From: Bart Van Assche <bvanassche@acm.org>
Date: Thu, 25 Apr 2024 07:00:48 +0200
Subject: [PATCH] ci/install.sh: Minor improvements

---
 ci/install.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/ci/install.sh b/ci/install.sh
index 00b15ec35d..df92e12b99 100755
--- a/ci/install.sh
+++ b/ci/install.sh
@@ -5,7 +5,7 @@ scriptdir="$(cd "$(dirname "$0")" && pwd)"
 install_android_ndk() {
     echo "Installing Android NDK..."
     wget --quiet https://dl.google.com/android/repository/android-ndk-r26b-linux.zip
-    unzip -q android-ndk-r26b-linux.zip
+    unzip -oq android-ndk-r26b-linux.zip
 }
 
 case "$(uname)" in
@@ -16,6 +16,7 @@ case "$(uname)" in
 		packages="
 		    make
 		    setpriv
+		    util-linux
 		"
 		;;
 	    *)
@@ -38,6 +39,7 @@ case "$(uname)" in
 		    pkg-config
 		    python3-dev
 		    setpriv
+		    util-linux
 		"
 		;;
 	esac