From 7040624fdbaf36cb8afe2410f6ed153a47ca8dbb Mon Sep 17 00:00:00 2001 From: bjoernellens1 <64093272+bjoernellens1@users.noreply.github.com> Date: Mon, 23 Oct 2023 13:29:15 +0200 Subject: [PATCH] Update my_example.Dockerfile --- docker/my_example.Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docker/my_example.Dockerfile b/docker/my_example.Dockerfile index 55b9e12..c440e9d 100644 --- a/docker/my_example.Dockerfile +++ b/docker/my_example.Dockerfile @@ -60,7 +60,7 @@ RUN cd /lcm_ws \ && cd build \ && cmake ../ \ && make \ - && make install \ + && make install WORKDIR /overlay_ws