From 6d977ef1b87199dfdcf3b4c913af0957ee853404 Mon Sep 17 00:00:00 2001
From: Yannik Stradmann <Yannik.Stradmann@kip.uni-heidelberg.de>
Date: Mon, 29 Nov 2021 22:42:21 +0200
Subject: [PATCH] Add GNU time to base install
Change-Id: I98a44229c8375057654b22d67e48097d3ee2a958
---
.ci/install_system_dependencies.sh | 1 +
1 file changed, 1 insertion(+)
diff --git a/.ci/install_system_dependencies.sh b/.ci/install_system_dependencies.sh
index 0cae2f40..f503ea79 100755
--- a/.ci/install_system_dependencies.sh
+++ b/.ci/install_system_dependencies.sh
@@ -46,6 +46,7 @@ system_dependencies=(
"qemu"
"qemu-user-static"
"strace"
+ "time"
"tshark"
"tsocks"
"usbutils"
--
GitLab