diff --git a/gitlab-ci/Dockerfile b/gitlab-ci/Dockerfile
index e8eac8fb8b8e3dba5ef781fe3b5d6000d258a8ca..4b1508f3dd8145fa2e010bbf36dacc2b8c963d81 100644
--- a/gitlab-ci/Dockerfile
+++ b/gitlab-ci/Dockerfile
@@ -4,6 +4,7 @@ FROM sdvharbor.slub-dresden.de/replication/debian:${DEBIAN_RELEASE}-slim
 # Do NOT delete "ARG DEBIAN_RELEASE" line, it's needed because of 
 # https://docs.docker.com/engine/reference/builder/#understand-how-arg-and-from-interact
 ARG DEBIAN_RELEASE
+ARG VERBOSE=true
 ARG GITDIR
 ENV DEBIAN_FRONTEND=noninteractive
 ENV EXTDPKG="extdpkg"