From 48cfd672074e0012649da0bfc1d0992724564332 Mon Sep 17 00:00:00 2001
From: Christian Engwer <christi@dune-project.org>
Date: Tue, 18 Jul 2006 12:57:21 +0000
Subject: [PATCH] dunecontrol uses the new --with-* syntax
[[Imported from SVN: r4615]]
---
bin/dunecontrol | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/bin/dunecontrol b/bin/dunecontrol
index 850ae673b..d0c2f6174 100755
--- a/bin/dunecontrol
+++ b/bin/dunecontrol
@@ -125,16 +125,16 @@ run_default_configure () {
PARAMS="$CMD_PARAMS"
if test -x configure; then
if test "x$HAVE_dune_common" == "xyes"; then
- PARAMS="$PARAMS \"--with-dunecommon=$PATH_dune_common\""
+ PARAMS="$PARAMS \"--with-dune-common=$PATH_dune_common\""
fi
if test "x$HAVE_dune_grid" == "xyes"; then
- PARAMS="$PARAMS \"--with-dunegrid=$PATH_dune_grid\""
+ PARAMS="$PARAMS \"--with-dune-grid=$PATH_dune_grid\""
fi
if test "x$HAVE_dune_istl" == "xyes"; then
- PARAMS="$PARAMS \"--with-duneistl=$PATH_dune_istl\""
+ PARAMS="$PARAMS \"--with-dune-istl=$PATH_dune_istl\""
fi
if test "x$HAVE_dune_disc" == "xyes"; then
- PARAMS="$PARAMS \"--with-dunedisc=$PATH_dune_disc\""
+ PARAMS="$PARAMS \"--with-dune-disc=$PATH_dune_disc\""
fi
echo ./configure "$PARAMS"
eval ./configure "$PARAMS" || exit 1
--
GitLab