From 5439c28e5ca90677ad0765594307688816024860 Mon Sep 17 00:00:00 2001
From: Markus Blatt <markus@dr-blatt.de>
Date: Tue, 24 Feb 2015 12:20:18 +0100
Subject: [PATCH] Revert "[CMake] dunecontrol calls "cmake -build ." instead of
make."
This reverts commit eb045a4d6b61ccc1a8d3378fcbd292ad9e8f668c.
As it severly breaks using the make build system. See
https://dune-project.org/flyspray/index.php?do=details&task_id=1572
---
bin/dunecontrol | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/bin/dunecontrol b/bin/dunecontrol
index f553d4c39..51afd34e4 100755
--- a/bin/dunecontrol
+++ b/bin/dunecontrol
@@ -752,8 +752,8 @@ run_default_make () {
echo make "$PARAMS"
eval $MAKE "$PARAMS"
else
- echo $CMAKE --build . "$PARAMS"
- eval $CMAKE --build . "$PARAMS"
+ echo make "$PARAMS"
+ eval $MAKE "$PARAMS"
fi
}
--
GitLab