Skip to content
Snippets Groups Projects
Commit ee4ca8d4 authored by Markus Blatt's avatar Markus Blatt
Browse files

[dunecontrol,bugfix] Set LOCAL_USE_CMAKE for run_default_make.

Previously this was only set if run_default_configure was executed
before. Ergo dunecontrol make did try to use cmake even if USE_CMAKE=no
was set. This fixes flyspray 1560.
https://dune-project.org/flyspray/index.php?do=details&task_id=1560
parent b11c527c
No related branches found
No related tags found
No related merge requests found
......@@ -750,6 +750,7 @@ run_default_make () {
test ! -d "$ABS_BUILDDIR" || cd "$ABS_BUILDDIR"
PARAMS="$CMD_FLAGS"
echo "build directory: $BUILDDIR"
create_local_use_cmake
if test "$LOCAL_USE_CMAKE" = "no"; then
echo make "$PARAMS"
eval $MAKE "$PARAMS"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment