From a80a8f9122364c0e9f49b0d19227aff101151434 Mon Sep 17 00:00:00 2001 From: wakiyamap Date: Sun, 18 Nov 2018 04:53:54 +0900 Subject: [PATCH] fix build error --- build/docker/deb/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build/docker/deb/Dockerfile b/build/docker/deb/Dockerfile index a20c219f..c83dbb2d 100644 --- a/build/docker/deb/Dockerfile +++ b/build/docker/deb/Dockerfile @@ -8,7 +8,7 @@ RUN apt-get update && \ apt-get clean ADD gpg-keys /tmp/gpg-keys -RUN gpg --import /tmp/gpg-keys/* +RUN gpg --batch --import /tmp/gpg-keys/* ADD build-deb.sh /build/build-deb.sh