From 166049db42549e40ec153ce18031b87094a255f3 Mon Sep 17 00:00:00 2001
From: Robin Sonnabend <robin@fsmpi.rwth-aachen.de>
Date: Wed, 28 Nov 2018 18:00:37 +0100
Subject: [PATCH] Fix package installation in CI
---
scripts/build.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/scripts/build.py b/scripts/build.py
index 2bd34c5..829e874 100755
--- a/scripts/build.py
+++ b/scripts/build.py
@@ -77,7 +77,7 @@ def build_package(repo_dir, package_dir, name,
for entry in _get_log_entries():
run_checked(command + [entry])
- command = ["apt-get", "build-dep", name]
+ command = ["apt-get", "build-dep", "-y", name]
run_checked(command)
command = ["debuild", "-b", "-uc", "-us"]
--
GitLab