From bee0f8c709d52e1efe99af7b1e03f65751607000 Mon Sep 17 00:00:00 2001 From: WO Date: Sat, 2 Feb 2019 20:53:57 +0900 Subject: [PATCH] Change OS for docker build --- build/docker/bin/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build/docker/bin/Dockerfile b/build/docker/bin/Dockerfile index 05cb3b84..23bb95e6 100644 --- a/build/docker/bin/Dockerfile +++ b/build/docker/bin/Dockerfile @@ -1,6 +1,6 @@ # initialize from the image -FROM debian:9 +FROM ubuntu:18.04 RUN apt-get update && \ apt-get upgrade -y && \