Merge pull request #85 from wakiyamap/patch1

Fix build error
This commit is contained in:
Jakub Matys 2018-11-20 10:15:32 +01:00 committed by GitHub
commit 6a13ae21ef
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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