From 38b238e7711c7a0d3966c7884ee2c5c04add8ad3 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Tue, 20 Dec 2022 12:01:28 +0100
Subject: [PATCH] [dev] fix typo in Docker makefile

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

diff --git a/dev/docker/Makefile b/dev/docker/Makefile
index 1830aa7ae72..7ad514901fa 100644
--- a/dev/docker/Makefile
+++ b/dev/docker/Makefile
@@ -47,7 +47,7 @@ help:
 DEPS=../../reference-configuration.md Dockerfile *.sh
 
 version=$(shell grep -o "^- OCaml [0-9.]\+" "../../reference-configuration.md" | grep -o "[0-9.]\+")
-BUILD_ARGS := --build-arg=OCAML_VERSION=$(version)
+BUILD_ARGS += --build-arg=OCAML_VERSION=$(version)
 
 %.debian: BUILD_ARGS += --build-arg=DISTRO=debian:bullseye-slim
 %.fedora: BUILD_ARGS += --build-arg=DISTRO=fedora:36
-- 
GitLab