diff options
| author | Alejandro Colomar <colomar.6.4.3@gmail.com> | 2020-05-29 16:46:47 +0200 |
|---|---|---|
| committer | Alejandro Colomar <colomar.6.4.3@gmail.com> | 2020-05-29 16:46:47 +0200 |
| commit | c2eb4215c3e63afabbadd5ff0f9e92bace1a62f4 (patch) | |
| tree | cb99993c95e7cbbb18034a389300f4762cb92f46 | |
| parent | 77c0919b191e8a44f3781159ec9a101bf892997d (diff) | |
Cosmetic
| -rw-r--r-- | etc/docker/rob/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/docker/rob/Dockerfile b/etc/docker/rob/Dockerfile index 68be2eb..91ab619 100644 --- a/etc/docker/rob/Dockerfile +++ b/etc/docker/rob/Dockerfile @@ -35,7 +35,7 @@ RUN git clone \ --single-branch \ --branch version-0.5 \ https://github.com/alejandro-colomar/rob_cam.git && \ - make bin/rob -C rob_cam + make bin/rob -C rob_cam ## debian:latest FROM debian@sha256:18f374fa88f9230a5c860f986dc83d3d03a056708164ff30c98d0e789e90946d |