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