From e3b9344cfb941d7abe953a85b2e0f39a1c0cb159 Mon Sep 17 00:00:00 2001
From: "Juan A. Pedreira" <juan.pedreira@keysight.com>
Date: Tue, 27 Aug 2024 09:26:19 +0200
Subject: [PATCH] docker - user cmake --build instead of make

---
 docker/scripts/builder.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker/scripts/builder.sh b/docker/scripts/builder.sh
index a54c38562c..1ef0822e8e 100755
--- a/docker/scripts/builder.sh
+++ b/docker/scripts/builder.sh
@@ -215,5 +215,5 @@ ccache -z || true
 mkdir -p "$BUILD_FOLDER"
 cd "$BUILD_FOLDER" || exit
 cmake $CCACHE_CMAKE_ARGS "$@" ..
-make $MAKE_EXTRA
+cmake --build . -- $MAKE_EXTRA
 ccache -sv || true