From 5f99f8553590a8bf128c3c35f2901dbf5ce73f3b Mon Sep 17 00:00:00 2001
From: Felix Abecassis <fabecassis@nvidia.com>
Date: Thu, 21 Jun 2018 11:14:13 -0700
Subject: [PATCH] Add support for Docker 18.03.1 on Ubuntu 18.04

---
 runtime/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/runtime/Makefile b/runtime/Makefile
index 9d8f156..a357190 100644
--- a/runtime/Makefile
+++ b/runtime/Makefile
@@ -12,7 +12,7 @@ DIST_DIR  := $(CURDIR)/../dist
 
 all: ubuntu18.04 ubuntu16.04 ubuntu14.04 debian9 debian8 centos7 amzn2 amzn1
 
-ubuntu18.04: $(addsuffix -ubuntu18.04, 17.12.1)
+ubuntu18.04: $(addsuffix -ubuntu18.04, 18.03.1 17.12.1)
 
 ubuntu16.04: $(addsuffix -ubuntu16.04, 18.03.1 18.03.0 17.12.1 17.12.0 17.09.1 17.09.0 17.06.2 17.03.2 1.13.1 1.12.6)
 
-- 
GitLab