From 9dd3acfc87542ba1a2b6b501ea4b5b6dbf64316b Mon Sep 17 00:00:00 2001 From: Kufat Date: Thu, 4 Jun 2026 21:29:05 -0400 Subject: [PATCH] Append EXTRA_CONFIG_ARGS to CMake command --- Config | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Config b/Config index 4fc8b4b18..ab3ab32f9 100755 --- a/Config +++ b/Config @@ -58,6 +58,10 @@ Run_Build_System () { CMAKE_COMMAND="${CMAKE_COMMAND} -D EXTRA_LIBS=$EXTRA_LIB_DIRS" fi + if [ "$EXTRA_CONFIG_ARGS" != "" ] ; then + CMAKE_COMMAND="${CMAKE_COMMAND} $EXTRA_CONFIG_ARGS" + fi + echo $CMAKE_COMMAND $CMAKE_COMMAND