From 2f74bd5150569ea4251cd699f5cb249c59ffe530 Mon Sep 17 00:00:00 2001 From: Adam Ierymenko Date: Fri, 23 Aug 2019 10:19:59 -0700 Subject: [PATCH] Add "make docker" for GitHub issue #1013 --- docker/Dockerfile | 8 ++++---- make-linux.mk | 6 +++++- 2 files changed, 9 insertions(+), 5 deletions(-) diff --git a/docker/Dockerfile b/docker/Dockerfile index 0f0750c6..ae3eed6b 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -4,11 +4,11 @@ MAINTAINER Adam Ierymekno , Grant Limberg