From 75e126623c5dccbf683c4f45b385c17e1ccdf1b5 Mon Sep 17 00:00:00 2001
From: Moritz Maxeiner <mm@ucw.sh>
Date: Thu, 15 Aug 2019 20:31:38 +0200
Subject: [PATCH] windows1809: add missing boost-timer
---
windows1809/cuda-devel/Dockerfile | 1 +
windows1809/devel/Dockerfile | 1 +
2 files changed, 2 insertions(+)
diff --git a/windows1809/cuda-devel/Dockerfile b/windows1809/cuda-devel/Dockerfile
index add2b78..b4eb5e9 100644
--- a/windows1809/cuda-devel/Dockerfile
+++ b/windows1809/cuda-devel/Dockerfile
@@ -26,6 +26,7 @@ RUN . $Profile; \
boost-program-options \
boost-property-tree \
boost-circular-buffer \
+ boost-timer \
jsoncpp \
websocketpp \
freetype \
diff --git a/windows1809/devel/Dockerfile b/windows1809/devel/Dockerfile
index f95b844..7d8bf18 100644
--- a/windows1809/devel/Dockerfile
+++ b/windows1809/devel/Dockerfile
@@ -15,6 +15,7 @@ RUN . $Profile; \
boost-program-options \
boost-property-tree \
boost-circular-buffer \
+ boost-timer \
jsoncpp \
websocketpp \
freetype \
--
GitLab